Preserving Sharing in the Partial Evaluation of Lazy Functional Programs

DOI10.1007/978-3-540-78769-3_6MaRDI QIDQ5504594zbMATH OpenOpenAlexFDO

Authors Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal

Publication date 22 January 2009

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78769-3_6

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2032417
• Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
• The narrowing-driven approach to functional logic program specialization
• scientific article; zbMATH DE number 1254023
• Specialization of functional logic programs based on needed narrowing

Cites work

• A residualizing semantics for the partial evaluation of functional logic programs.
• Deforestation: Transforming programs to eliminate trees
• Fast narrowing-driven partial evaluation for inductively sequential programs
• scientific article; zbMATH DE number 1950450 (Why is no real title available?)
• scientific article; zbMATH DE number 1952947 (Why is no real title available?)
• scientific article; zbMATH DE number 236855 (Why is no real title available?)
• Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs
• Operational semantics for declarative multi-paradigm languages
• Secrets of the Glasgow Haskell Compiler inliner
• The lambda calculus. Its syntax and semantics. Rev. ed.

Cited in

(2)

• An operational semantics of sharing in lazy evaluation
• scientific article; zbMATH DE number 4013998 (Why is no real title available?)

Describes a project that uses

Uses Software

• LOGEN
• Haskell
• GHC

This page was built for publication: Preserving Sharing in the Partial Evaluation of Lazy Functional Programs

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