Specialization of inductively sequential functional logic programs

DOI10.1145/317636.317910MaRDI QIDQ2817728zbMATH OpenOpenAlexWikidataFDO

Authors Michael Hanus, Salvador Lucas, Germán Vidal, María Alpuente

Publication date 1 September 2016

Published in Proceedings of the fourth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/317636.317910

Mathematics Subject Classification ID

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

Recommendations

• Specialization of functional logic programs based on needed narrowing
• scientific article; zbMATH DE number 1696777
• scientific article; zbMATH DE number 2032417
• Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
• Supporting Transformations for the Partial Evaluation of Logic Programs

Cited in

(7)

• Rules + strategies for transforming lazy functional logic programs
• A modular order-sorted equational generalization algorithm
• scientific article; zbMATH DE number 1696777 (Why is no real title available?)
• Specialization of functional logic programs based on needed narrowing
• scientific article; zbMATH DE number 1222408 (Why is no real title available?)
• The narrowing-driven approach to functional logic program specialization
• Regular tree languages as an abstract domain in program specialisation

This page was built for publication: Specialization of inductively sequential functional logic programs

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