scientific article; zbMATH DE number 1497776

MaRDI QIDQ4499191zbMATH OpenFDO

Authors Jörgen Gustavsson, David Sands

Publication date 6 March 2001

zbMATH Keywords

space-safe inlining

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Functional programming and lambda calculus (68N18)

Recommendations

• Possibilities and limitations of call-by-need space improvement
• scientific article; zbMATH DE number 512897
• scientific article; zbMATH DE number 1497774
• The call-by-need lambda calculus

Cited in

(4)

• scientific article; zbMATH DE number 512897 (Why is no real title available?)
• A new criterion for safe program transformations
• Possibilities and limitations of call-by-need space improvement
• A bisimulation-like proof method for contextual properties in untyped -calculus with references and deallocation

This page was built for publication:

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