Code
3G004312
Duration
01 January 2012 → 31 December 2017
Funding
Fonds voor Wetenschappelijk Onderzoek - Vlaanderen (FWO)
Promotor
Research disciplines
-
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
Keywords
programming languages
purely functional programming
side-effects
Project description
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.