Predicting resource consumption of higher-order workflows

Markus Klinik, J. Hage, Jan Martin Jansen, Rinus Plasmeijer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)


We present a type and effect system for static analysis of programs written in a simplified version of iTasks. iTasks is a workflow specification language embedded in Clean, a general-purpose functional programming language. Given costs for basic tasks, our analysis calculates an upper bound of the total cost of a workflow. The analysis has to deal with the domain-specific features of iTasks, in particular parallel and sequential composition of tasks, as well as the general-purpose features of Clean, in particular let-polymorphism, higher-order functions, recursion and lazy evaluation. Costs are vectors of natural numbers where every element represents some resource, either consumable or reusable.
Original languageEnglish
Title of host publicationProceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Subtitle of host publicationPEPM 2017
PublisherAssociation for Computing Machinery
Number of pages12
ISBN (Print)9781450347211
Publication statusPublished - 2 Jan 2017


Dive into the research topics of 'Predicting resource consumption of higher-order workflows'. Together they form a unique fingerprint.

Cite this