Abstract diagnosis of functional programs

DOI10.1007/3-540-45013-0_1MaRDI QIDQ3079916zbMATH OpenOpenAlexWikidataFDO

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Functional programming and lambda calculus (68N18)

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 compact fixpoint semantics for term rewriting systems
• A Fully Abstract Semantics for Constructor 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
• Loop detection in term rewriting using the eliminating unfoldings
• From Boolean equalities to constraints
• Declarative Debugging of Membership Equational Logic Specifications
• Declarative debugging of rewriting logic specifications
• Abstract Diagnosis of First Order Functional Logic Programs

Describes a project that uses

Uses Software

• Haskell

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)