Modulaire behandeling van effecten in puur functionele programma's en modellen (MODULAR)
Mastering the complexity of software systems in all its facets is one of the continuing challenges of computer science. This theme receives much attention in the area of programming and modeling languages, because the inherent complexity of large software systems can be greatly aggravated by the incidental complexity of the language used.
Purely Functional Programming (PFP) (e.g., Haskell, Coq, Agda) has been widely recognized for its ability to avoid such complexity and to reduce programming concepts to their essence, for instance in the area of certified software. Unfortunately, lack of support for implicit (side-)effects, notably for modular components, is one of the core problems of PFP languages.
The objective of this project is to develop PFP techniques for dealing with highly modular software systems with explicit effects, and to evaluate these techniques in both programming and modeling applications.