Static determination of quantitative resource usage for higher-order programs

Steffen Jost, Kevin Hammond, Hans Wolfgang Loidl, Martin Hofmann

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

31 Citations (Scopus)

Fingerprint Dive into the research topics of 'Static determination of quantitative resource usage for higher-order programs'. Together they form a unique fingerprint.

Engineering & Materials Science