Improving control in functional logic program specialization

DOI10.1007/3-540-49727-7_16MaRDI QIDQ4217931zbMATH OpenFDO

Authors Elvira Albert, Pascual Julián, Germán Vidal, María Alpuente, M. Falaschi

Publication date 2 March 1999

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

Full work available at URL https://doi.org/10.1007/3-540-49727-7_16

zbMATH Keywords

conjunctive partial deductionfunctional logic programsnarrowing-driven partial evaluation

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Specialization of functional logic programs based on needed narrowing
• The narrowing-driven approach to functional logic program specialization
• Fast narrowing-driven partial evaluation for inductively sequential programs
• Specialization of inductively sequential functional logic programs
• scientific article; zbMATH DE number 2032417

Cited in

(11)

• An improved reductant calculus using fuzzy partial evaluation techniques
• A partial evaluation framework for order-sorted equational programs modulo axioms
• Optimization of rewrite theories by equational partial evaluation
• A study on the practicality of poly-controlled partial evaluation
• scientific article; zbMATH DE number 4013995 (Why is no real title available?)
• Specialization of functional logic programs based on needed narrowing
• scientific article; zbMATH DE number 3956407 (Why is no real title available?)
• Logic program specialisation through partial deduction: Control issues
• The narrowing-driven approach to functional logic program specialization
• Symbolic Specialization of Rewriting Logic Theories with Presto
• Programming with narrowing: a tutorial

Describes a project that uses

Uses Software

• BABEL
• Curry

This page was built for publication: Improving control in functional logic program specialization

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