< Terug naar vorige pagina
Project
Efficiënte Verklarende Typesystemen voor Parallelle Systemen
We willen hedendaagse academische typesystemen voor parallelle computersystemen verbeteren zodat ze bruikbaar worden voor de doorsnee ontwikkelaar. Hiertoe zullen we de bestaande systemen verbeteren zodat ze betekenisvolle feedback geven, verdere analyses uitbouwen op basis van informatie opgeslagen in de typesystemen, en uiteindelijk deze typesystemen efficiënt maken zodat ze kunnen gebruikt worden in de geïntegreerde ontwikkelomgeving van een programmeur.
Datum:1 okt 2018 → 30 sep 2022
Trefwoorden:Incrementele berekening, Geïntegreerde ontwikkelomgevingen, Typesystemen
Disciplines:Andere informatie- en computerwetenschappen niet elders geclassificeerd, Taalontwerp, -constructies en -eigenschappen, Computerarchitectuur en netwerken niet elders geclassificeerd, Distributed computing niet elders geclassificeerd, Visual computing niet elders geclassificeerd, Informatiewetenschappen niet elders geclassificeerd, Toegepaste wiskunde die niet elders zijn geclassificeerd, Scientific computing niet elders geclassificeerd, Statistische en numerieke methoden die niet elders zijn geclassificeerd, Theoretische informatica niet elders geclassificeerd, Informatiesystemen niet elders geclassificeerd