Code
3G004312
Looptijd
01-01-2012 → 31-12-2017
Financiering
Fonds voor Wetenschappelijk Onderzoek - Vlaanderen (FWO)
Promotor
Onderzoeksdisciplines
-
Natural sciences
- Applied mathematics in specific fields
- 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
neven-effecten
puur functioneel programmeren
programmeertalen
Projectomschrijving
De complexiteit van softwaresystemen beheersen is een van de blijvende uitdagingen van de informatica, en het domein van programmeer- en modelleringstalen in het bijzonder. Puur Functioneel Programmeren (PFP) geniet brede erkenning om complexiteit te reduceren. Helaas is ondersteuning voor neven-effecten, vooral op modulaire wijze, een essentieel probleem van PFP.
Dit project ontwikkelt PFP-technieken voor neven-effecten in zeer modulaire softwaresystemen.