JavaScript startede som et scriptingsprog til at lave små interaktive hjemmesider. Dog udvikles større applikationer, både hjemmesider og andre applikationer, i stigende grad ved brug af JavaScript. JavaScriptsprogets dynamiske karakter gør det vanskeligt at skabe fornuftige udviklingsmiljøer med funktioner som automatisk kode-fuldendelse og kode-navigation. TypeScript er et superset af JavaScript, der udover JavaScript tilføjer et valgfrit system af statiske typer, der muliggør funktioner som automatisk kode-fuldendelse, kode-navigation og detektion af typefejl. Mange TypeScript-applikationer bruger dog stadig ikke-typede biblioteker skrevet i JavaScript. Udviklere eller brugere af disse JavaScript-biblioteker kan vælge at skrive TypeScript-deklarationsfiler, der leverer API-modeller af bibliotekerne og bruges til at kontrollere typerne i TypeScript-applikationer. Disse deklarationsfiler er dog skrevet manuelt og ofte ikke af de originale forfattere af biblioteket, hvilket kan medføre fejltagelser, der kan vildlede TypeScript-applikationsudviklere og i sidste ende forårsage fejl. Målet med denne afhandling er at designe automatiserede teknikker til at assistere i udviklingen af TypeScript-deklarationsfiler. Denne afhandling identificerer flere udfordringer, som udviklere af TypeScriptdeklarationsfiler står overfor, og håndterer disse udfordringer ved hjælp af teknikker fra programmeringssprogforskning. Type inferens bruges til at oprette nye og opdatere eksisterende deklarationsfiler. Automatisk testning bruges til at opdage fejl i deklarationsfiler. Endeligt bruges datastrømningsanalyse og et nyt koncept af rimelige-mest-generelle klienter til at verificere fraværet af fejl i deklarationsfiler. Hver af teknikkerne bruges til at forbedre kvaliteten af faktisk benyttede deklarationsfiler.