Aarhus University Seal / Aarhus Universitets segl

Automated Techniques for Creation and Maintenance of TypeScript Declaration Files

Research output: Book/anthology/dissertation/reportPh.D. thesisResearch

Standard

Automated Techniques for Creation and Maintenance of TypeScript Declaration Files. / Kristensen, Erik Krogh.

Aarhus University, 2019.

Research output: Book/anthology/dissertation/reportPh.D. thesisResearch

Harvard

APA

CBE

MLA

Vancouver

Author

Bibtex

@phdthesis{5e178ad79dfd49e7a4f8cce8808ae743,
title = "Automated Techniques for Creation and Maintenance of TypeScript Declaration Files",
abstract = "JavaScript startede som et scriptingsprog til at lave sm{\aa} interaktivehjemmesider. Dog udvikles st{\o}rre applikationer, b{\aa}de hjemmesider ogandre applikationer, i stigende grad ved brug af JavaScript. JavaScriptsprogets dynamiske karakter g{\o}r det vanskeligt at skabe fornuftigeudviklingsmilj{\o}er med funktioner som automatisk kode-fuldendelse ogkode-navigation. TypeScript er et superset af JavaScript, der udoverJavaScript tilf{\o}jer et valgfrit system af statiske typer, der muligg{\o}rfunktioner som automatisk kode-fuldendelse, kode-navigation ogdetektion af typefejl. Mange TypeScript-applikationer bruger dog stadigikke-typede biblioteker skrevet i JavaScript. Udviklere eller brugere af disseJavaScript-biblioteker kan v{\ae}lge at skrive TypeScript-deklarationsfiler, derleverer API-modeller af bibliotekerne og bruges til at kontrollere typerne iTypeScript-applikationer. Disse deklarationsfiler er dog skrevet manueltog ofte ikke af de originale forfattere af biblioteket, hvilket kan medf{\o}refejltagelser, der kan vildlede TypeScript-applikationsudviklere og i sidsteende for{\aa}rsage fejl.M{\aa}let med denne afhandling er at designe automatiserede teknikkertil at assistere i udviklingen af TypeScript-deklarationsfiler. Denneafhandling identificerer flere udfordringer, som udviklere af TypeScriptdeklarationsfiler st{\aa}r overfor, og h{\aa}ndterer disse udfordringer ved hj{\ae}lpaf teknikker fra programmeringssprogforskning. Type inferens brugestil at oprette nye og opdatere eksisterende deklarationsfiler. Automatisktestning bruges til at opdage fejl i deklarationsfiler. Endeligt brugesdatastr{\o}mningsanalyse og et nyt koncept af rimelige-mest-generelle klientertil at verificere frav{\ae}ret af fejl i deklarationsfiler. Hver af teknikkernebruges til at forbedre kvaliteten af faktisk benyttede deklarationsfiler.",
author = "Kristensen, {Erik Krogh}",
year = "2019",
month = oct,
language = "Dansk",
publisher = "Aarhus University",

}

RIS

TY - BOOK

T1 - Automated Techniques for Creation and Maintenance of TypeScript Declaration Files

AU - Kristensen, Erik Krogh

PY - 2019/10

Y1 - 2019/10

N2 - JavaScript startede som et scriptingsprog til at lave små interaktivehjemmesider. Dog udvikles større applikationer, både hjemmesider ogandre applikationer, i stigende grad ved brug af JavaScript. JavaScriptsprogets dynamiske karakter gør det vanskeligt at skabe fornuftigeudviklingsmiljøer med funktioner som automatisk kode-fuldendelse ogkode-navigation. TypeScript er et superset af JavaScript, der udoverJavaScript tilføjer et valgfrit system af statiske typer, der muliggørfunktioner som automatisk kode-fuldendelse, kode-navigation ogdetektion af typefejl. Mange TypeScript-applikationer bruger dog stadigikke-typede biblioteker skrevet i JavaScript. Udviklere eller brugere af disseJavaScript-biblioteker kan vælge at skrive TypeScript-deklarationsfiler, derleverer API-modeller af bibliotekerne og bruges til at kontrollere typerne iTypeScript-applikationer. Disse deklarationsfiler er dog skrevet manueltog ofte ikke af de originale forfattere af biblioteket, hvilket kan medførefejltagelser, der kan vildlede TypeScript-applikationsudviklere og i sidsteende forårsage fejl.Målet med denne afhandling er at designe automatiserede teknikkertil at assistere i udviklingen af TypeScript-deklarationsfiler. Denneafhandling identificerer flere udfordringer, som udviklere af TypeScriptdeklarationsfiler står overfor, og håndterer disse udfordringer ved hjælpaf teknikker fra programmeringssprogforskning. Type inferens brugestil at oprette nye og opdatere eksisterende deklarationsfiler. Automatisktestning bruges til at opdage fejl i deklarationsfiler. Endeligt brugesdatastrømningsanalyse og et nyt koncept af rimelige-mest-generelle klientertil at verificere fraværet af fejl i deklarationsfiler. Hver af teknikkernebruges til at forbedre kvaliteten af faktisk benyttede deklarationsfiler.

AB - JavaScript startede som et scriptingsprog til at lave små interaktivehjemmesider. Dog udvikles større applikationer, både hjemmesider ogandre applikationer, i stigende grad ved brug af JavaScript. JavaScriptsprogets dynamiske karakter gør det vanskeligt at skabe fornuftigeudviklingsmiljøer med funktioner som automatisk kode-fuldendelse ogkode-navigation. TypeScript er et superset af JavaScript, der udoverJavaScript tilføjer et valgfrit system af statiske typer, der muliggørfunktioner som automatisk kode-fuldendelse, kode-navigation ogdetektion af typefejl. Mange TypeScript-applikationer bruger dog stadigikke-typede biblioteker skrevet i JavaScript. Udviklere eller brugere af disseJavaScript-biblioteker kan vælge at skrive TypeScript-deklarationsfiler, derleverer API-modeller af bibliotekerne og bruges til at kontrollere typerne iTypeScript-applikationer. Disse deklarationsfiler er dog skrevet manueltog ofte ikke af de originale forfattere af biblioteket, hvilket kan medførefejltagelser, der kan vildlede TypeScript-applikationsudviklere og i sidsteende forårsage fejl.Målet med denne afhandling er at designe automatiserede teknikkertil at assistere i udviklingen af TypeScript-deklarationsfiler. Denneafhandling identificerer flere udfordringer, som udviklere af TypeScriptdeklarationsfiler står overfor, og håndterer disse udfordringer ved hjælpaf teknikker fra programmeringssprogforskning. Type inferens brugestil at oprette nye og opdatere eksisterende deklarationsfiler. Automatisktestning bruges til at opdage fejl i deklarationsfiler. Endeligt brugesdatastrømningsanalyse og et nyt koncept af rimelige-mest-generelle klientertil at verificere fraværet af fejl i deklarationsfiler. Hver af teknikkernebruges til at forbedre kvaliteten af faktisk benyttede deklarationsfiler.

M3 - Ph.d.-afhandling

BT - Automated Techniques for Creation and Maintenance of TypeScript Declaration Files

PB - Aarhus University

ER -