Code
01D32718
Looptijd
01-10-2018 → 30-09-2022
Financiering
Gewestelijke en gemeenschapsmiddelen: Bijzonder Onderzoeksfonds
Promotor
Mandaathouder
Onderzoeksdisciplines
-
Natural sciences
- Applied mathematics in specific fields not elsewhere classified
- Statistics and numerical methods not elsewhere classified
- Computer architecture and networks not elsewhere classified
- Distributed computing not elsewhere classified
- Information sciences not elsewhere classified
- Information systems not elsewhere classified
- Language design, constructs and features
- Scientific computing not elsewhere classified
- Theoretical computer science not elsewhere classified
- Visual computing not elsewhere classified
- Other information and computing sciences not elsewhere classified
Trefwoorden
Typesystemen
Incrementele berekening
Geïntegreerde ontwikkelomgevingen
Projectomschrijving
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.