< Terug naar vorige pagina

Project

Modulaire behandeling van effecten in puur functionele programma's en modellen

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.



Datum:1 jan 2012 →  31 dec 2017
Trefwoorden:neven-effecten, puur functioneel programmeren, programmeertalen
Disciplines:Computerarchitectuur en -netwerken, Theoretische informatica, Toegepaste wiskunde, Andere informatie- en computerwetenschappen, Scientific computing, Distributed computing, Programmeertalen, Visual computing, Informatiewetenschappen, Informatiesystemen