Project

Efficiënte Verklarende Typesystemen voor Parallelle Systemen

Looptijd
01-10-2018 → Lopend
Financiering
Gewestelijke en gemeenschapsmiddelen: Bijzonder Onderzoeksfonds
Onderzoeksdisciplines
  • Natural sciences
    • Applied mathematics in specific fields
    • Statistics and numerical methods
    • Computer architecture and networks
    • Distributed computing
    • Information sciences
    • Information systems
    • Programming languages
    • Scientific computing
    • Theoretical computer science
    • Visual computing
    • Other information and computing sciences
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.