Transformation and debugging of functional logic programs

DOI10.1007/978-3-642-14309-0_13MaRDI QIDQ3578400zbMATH OpenOpenAlexDBLPWikidataFDO

Authors María Alpuente, D. Ballis, M. Falaschi

Publication date 20 July 2010

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

Full work available at URL https://doi.org/10.1007/978-3-642-14309-0_13

Mathematics Subject Classification ID

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

Recommendations

• A debugging scheme for functional logic programs
• Abstract Diagnosis of First Order Functional Logic Programs
• Rules + strategies for transforming lazy functional logic programs
• Declarative debugging of functional logic programs
• scientific article; zbMATH DE number 1956545

Cited in

(6)

• Translation of logic programs into functional fixpoint equations
• A debugging scheme for functional logic programs
• A Program Transformation for Tracing Functional Logic Computations
• scientific article; zbMATH DE number 1956545 (Why is no real title available?)
• Functional logic programming in Maude
• An integrated framework for the diagnosis and correction of rule-based programs

Describes a project that uses

Uses Software

• BABEL
• Maude
• Curry
• TOY

This page was built for publication: Transformation and debugging of functional logic programs

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