Abstract diagnosis of functional programs
From MaRDI portal
Publication:3079916
DOI10.1007/3-540-45013-0_1zbMATH Open1278.68056OpenAlexW1818509088WikidataQ57978273 ScholiaQ57978273MaRDI QIDQ3079916FDOQ3079916
Authors: Santiago Escobar, Salvador Lucas, María Alpuente, Marco Comini, M. Falaschi 
Publication date: 4 March 2011
Published in: Logic Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-45013-0_1
Recommendations
- Abstract Diagnosis of First Order Functional Logic Programs
- A debugging scheme for functional logic programs
- Declarative debugging of functional logic programs
- A theoretical framework for the declarative debugging of functional logic programs with lambda abstractions
- An integrated framework for the diagnosis and correction of rule-based programs
Cited In (17)
- Termination of narrowing revisited
- EDUCATIONAL PEARL: ‘Proof-directed debugging’ revisited for a first-order version
- Transforming Boolean equalities into constraints
- An integrated framework for the diagnosis and correction of rule-based programs
- Introducing debugging capabilities to natural semantics
- A Fully Abstract Semantics for Constructor Systems
- A compact fixpoint semantics for term rewriting systems
- Proof-directed debugging
- A debugging system based on natural semantics
- A declarative debugger for Maude functional modules
- Specialisation of higher-order functions for debugging
- Abstract correction of first-order functional programs
- From Boolean equalities to constraints
- Loop detection in term rewriting using the eliminating unfoldings
- Declarative Debugging of Membership Equational Logic Specifications
- Abstract Diagnosis of First Order Functional Logic Programs
- Declarative debugging of rewriting logic specifications
Uses Software
This page was built for publication: Abstract diagnosis of functional programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3079916)
