Theoretical foundations for the declarative debugging of lazy functional logic programs

DOI10.1007/3-540-44716-4_11MaRDI QIDQ2763637zbMATH OpenFDO

Authors F. J. López-Fraguas, M. Rodríguez Artalejo, Rafael Caballero

Publication date 21 January 2002

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2024/20240170

Mathematics Subject Classification ID

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

Recommendations

• A declarative debugging system for lazy functional logic programs
• Declarative debugging of functional logic programs
• A theoretical framework for the declarative debugging of functional logic programs with lambda abstractions
• A debugging scheme for functional logic programs
• A logical framework for debugging in declarative constraint programming

Cited in

(19)

• Declarative debugging of functional logic programs
• A debugging scheme for functional logic programs
• A declarative debugging system for lazy functional logic programs
• Structure and properties of traces for functional programs
• A framework for interpreting traces of functional logic computations
• Abstract Diagnosis of First Order Functional Logic Programs
• scientific article; zbMATH DE number 5007860 (Why is no real title available?)
• Introducing debugging capabilities to natural semantics
• Foundations of declarative testing in arbitrary logic programming
• A theoretical framework for the declarative debugging of functional logic programs with lambda abstractions
• scientific article; zbMATH DE number 512882 (Why is no real title available?)
• A debugging system based on natural semantics
• A logical framework for debugging in declarative constraint programming
• Functional and Logic Programming
• Declarative debugging meets the world
• Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming
• A Theoretical Framework for the Declarative Debugging of Datalog Programs
• An integrated framework for the diagnosis and correction of rule-based programs
• A new generic scheme for functional logic programming with constraints

This page was built for publication: Theoretical foundations for the declarative debugging of lazy functional logic programs

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