Functional and Logic Programming

DOI10.1007/B96926MaRDI QIDQ5308014zbMATHOpenAlexFDO

Authors M. Rodríguez Artalejo, Rafael Caballero

Publication date 25 September 2007

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

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

Mathematics Subject Classification ID

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

Recommendations

• A declarative debugging system for lazy functional logic programs
• Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming
• Declarative debugging of functional logic programs
• scientific article; zbMATH DE number 1692897
• scientific article; zbMATH DE number 1332636

Cited in

(8)

• A framework for interpreting traces of functional logic computations
• Declarative Debugging of Rewriting Logic Specifications
• Declarative Debugging of Membership Equational Logic Specifications
• A new generic scheme for functional logic programming with constraints
• Declarative debugging of rewriting logic specifications
• A logical framework for debugging in declarative constraint programming
• Functional Logic Programming: From Theory to Curry
• A declarative debugger for Maude functional modules

Describes a project that uses

Uses Software

• Curry
• TOY

This page was built for publication: Functional and Logic Programming

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