A transformation system for lazy functional logic programs

DOI10.1007/10705424_10MaRDI QIDQ2766777zbMATH OpenFDO

Authors Ginés Moreno, Germán Vidal, María Alpuente, M. Falaschi

Publication date 22 July 2002

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

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

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18)

Recommendations

• Rules + strategies for transforming lazy functional logic programs
• Uniform Lazy Narrowing
• Specialization of functional logic programs based on needed narrowing
• Lazy narrowing with simplification
• A needed narrowing strategy

Cited in

(9)

• Rules + strategies for transforming lazy functional logic programs
• Improving functional logic programs by difference-lists
• A debugging scheme for functional logic programs
• A narrowing-based instantiation rule for rewriting-based fold/unfold transformations
• Transforming functional logic programs into monadic functional programs
• Automatic optimization of multi-paradigm declarative programs
• scientific article; zbMATH DE number 2079668 (Why is no real title available?)
• scientific article; zbMATH DE number 2079865 (Why is no real title available?)
• Optimizing fuzzy logic programs by unfolding, aggregation and folding

Describes a project that uses

Uses Software

• Curry
• BABEL

This page was built for publication: A transformation system for lazy functional logic programs

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