Measuring the effectiveness of partial evaluation in functional logic languages

DOI10.1007/3-540-45142-0_7MaRDI QIDQ4421874zbMATH OpenFDO

Authors Elvira Albert, Sergio Antoy, Germán Vidal

Publication date 1 September 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2042/20420103.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17) Functional programming and lambda calculus (68N18)

Recommendations

• Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
• Topics in semantics-based program manipulation
• Cost-augmented partial evaluation of functional logic programs
• scientific article; zbMATH DE number 2032417
• Using an abstract representation to specialize functional logic programs

Cited in

(7)

• Cost-augmented partial evaluation of functional logic programs
• Operational semantics for declarative multi-paradigm languages
• A framework for goal-directed bottom-up evaluation of functional logic programs
• Improving the efficiency of non-deterministic computations
• scientific article; zbMATH DE number 6163261 (Why is no real title available?)
• Scrapping your inefficient engine
• The narrowing-driven approach to functional logic program specialization

Describes a project that uses

Uses Software

• Kernel-LEAF
• BABEL
• TOY

This page was built for publication: Measuring the effectiveness of partial evaluation in functional logic languages

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