Possibilities and limitations of call-by-need space improvement

DOI10.1145/507635.507667zbMATH Open1323.68210OpenAlexW2088030260MaRDI QIDQ5178015FDOQ5178015

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

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

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)

Cited In (4)

• Title not available (Why is that?)
• Pruning with improving sequences in lazy functional programs
• Title not available (Why is that?)
• 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)