Accurate Step Counting

DOI10.1007/11964681_6MaRDI QIDQ3623952zbMATH OpenOpenAlexFDO

Authors Catherine Hope, Graham Hutton

Publication date 28 April 2009

Published in Implementation and Application of Functional Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11964681_6

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Optimizing abstract abstract machines
• Usage counting analysis for lazy functional languages
• From operational semantics to abstract machines
• The countdown problem
• A LISP programming exercise

Cited in

(1)

• Programming language semantics: It’s easy as 1,2,3

This page was built for publication: Accurate Step Counting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3623952)