Functional and Logic Programming

DOI10.1007/B96926MaRDI QIDQ5308014zbMATH OpenOpenAlexFDO

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)

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

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)