Sciweavers

6 search results - page 2 / 2
» Dynamic slicing of lazy functional programs based on redex t...
Sort
View
ICFP
2007
ACM
14 years 2 months ago
iTasks: executable specifications of interactive work flow systems for the web
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopm...