Code
3G088414
Looptijd
01-01-2014 → 31-12-2019
Financiering
Fonds voor Wetenschappelijk Onderzoek - Vlaanderen (FWO)
Promotor
Onderzoeksdisciplines
-
Natural sciences
- Applied mathematics in specific fields
Trefwoorden
zijwaards doorgeven van informatie
routine
programma-analyse
Projectomschrijving
Programmeertaalconcepten gebaseerd op coroutines en zijwaards doorgeven van informatie zijn alomtegenwoordig in moderne programmeertalen, waar ze vele programmeervoordelen bieden. Programma-analyses zijn echter slecht uitgerust om met hen om te gaan. Het gevolg is dat programmeurs zwakke en onbruikbare analyse-feedback krijgen en geen compileroptimalisaties.
Om deze situatie recht te zetten ontwikkelt dit project redeneertechnieken specifiek voor programmeertaalconcepten gebaseerd op coroutines.