Possibilities and limitations of call-by-need space improvement

DOI10.1145/507635.507667MaRDI QIDQ5178015zbMATH OpenOpenAlexFDO

Authors Jörgen Gustavsson, David Sands

Publication date 9 March 2015

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

Full work available at URL https://doi.org/10.1145/507635.507667

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1497776
• scientific article; zbMATH DE number 4106261
• Improvement theory and its applications
• The call-by-need lambda calculus
• Flow analysis of lazy higher-order functional programs

Cited in

(4)

• scientific article; zbMATH DE number 4106261 (Why is no real title available?)
• Pruning with improving sequences in lazy functional programs
• scientific article; zbMATH DE number 3960968 (Why is no real title available?)
• Improvement theory and its applications

This page was built for publication: Possibilities and limitations of call-by-need space improvement

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