Preliminary arrangements of arguments in lazy evaluation

DOI10.1007/BF03037640MaRDI QIDQ756403zbMATH OpenOpenAlexFDO

Authors Liao Husheng, Masato Takeichi

Publication date 1991

Published in New Generation Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf03037640

zbMATH Keywords

functional languageslazy evaluatorsSECD Machine

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20)

Recommendations

• scientific article; zbMATH DE number 549962
• A technique for doing lazy evaluation in logic
• Lazy evaluation and delimited control
• Lazy evaluation and delimited control
• The lazy logic of partial terms
• scientific article; zbMATH DE number 1031001
• The adequacy of Launchbury's natural semantics for lazy evaluation
• Implementation of Functional Languages
• scientific article; zbMATH DE number 2032417

Cites work

• scientific article; zbMATH DE number 3951980 (Why is no real title available?)
• scientific article; zbMATH DE number 3664393 (Why is no real title available?)
• scientific article; zbMATH DE number 194911 (Why is no real title available?)
• A new implementation technique for applicative languages
• Lambda-hoisting: A transformation technique for fully lazy evaluation of functional programs
• Partial parametrization eliminates multiple traversals of data structures

Cited in

(1)

• scientific article; zbMATH DE number 1929305 (Why is no real title available?)

Describes a project that uses

Uses Software

• Miranda

This page was built for publication: Preliminary arrangements of arguments in lazy evaluation

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