Functional and Logic Programming

DOI10.1007/B96926zbMATH Open1122.68366OpenAlexW2506581943MaRDI QIDQ5308014FDOQ5308014

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

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

Mathematics Subject Classification ID

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

Cited In (8)

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

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)