Lazy call-by-value evaluation

DOI10.1145/1291151.1291193MaRDI QIDQ5168933zbMATH OpenOpenAlexFDO

Authors Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal

Publication date 21 July 2014

Published in Proceedings of the 12th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.67.7799

zbMATH Keywords

debugging techniqueslaziness

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• From Stack Traces to Lazy Rewriting Sequences
• scientific article; zbMATH DE number 2000444
• Adapting combinator and SECD machines to display snapshots of functional computations
• Dynamic slicing of lazy functional programs based on redex trails
• scientific article; zbMATH DE number 1691462

Cited in

(6)

• Adapting combinator and SECD machines to display snapshots of functional computations
• Lazy variable-renumbering makes substitution cheap
• Implementing open call-by-value
• Dynamic slicing of lazy functional programs based on redex trails
• How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger
• scientific article; zbMATH DE number 2000444 (Why is no real title available?)

Describes a project that uses

Uses Software

• Hat

This page was built for publication: Lazy call-by-value evaluation

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