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

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

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

(6)

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

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)