An integrated framework for the diagnosis and correction of rule-based programs
type: Item
instance of: scholarly article
title: An integrated framework for the diagnosis and correction of rule-based programs
zbMATH Open document ID: 1205.68113
author: F. J. Correa
author: María Alpuente
author: D. Ballis
author: M. Falaschi
published in: Theoretical Computer Science
publication date: 2010-11-11T00:00:00Z
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 5815232
zbMATH Keywords: debugging
zbMATH Keywords: narrowing
zbMATH Keywords: functional logic programming
zbMATH Keywords: program transformation
describes a project that uses: TOY
describes a project that uses: QuickCheck
describes a project that uses: Maude
describes a project that uses: BABEL
describes a project that uses: TeaBag
describes a project that uses: Curry
describes a project that uses: Kima
describes a project that uses: Kernel-LEAF
describes a project that uses: GHC
describes a project that uses: ELAN
describes a project that uses: DiSCiPl
MaRDI profile type: Publication
full work available at URL: j.tcs.2010.07.009
OpenAlex ID: W2075067317
Wikidata QID: Q57978166
cites work: Kima: An automated error correction system for concurrent logic programs
cites work: Q4417882
cites work: Transformation and Debugging of Functional Logic Programs
cites work: A compact fixpoint semantics for term rewriting systems
cites work: Abstract Diagnosis of Functional Programs
cites work: Declarative debugging of functional logic programs
cites work: Termination of Narrowing Using Dependency Pairs
cites work: Order-Sorted Generalization
cites work: Uniform Lazy Narrowing
cites work: Analyses of unsatisfiability for equational logic programming
cites work: Rules + strategies for transforming lazy functional logic programs
cites work: Evaluation strategies for functional logic programming
cites work: A needed narrowing strategy
cites work: Termination of term rewriting using dependency pairs
cites work: Abstract Diagnosis of First Order Functional Logic Programs
cites work: Q3713559
cites work: ELAN from a rewriting logic point of view
cites work: Q4223001
cites work: Narrowing vs. SLD-resolution
cites work: The s-semantics approach: Theory and applications
cites work: Induction of logic programs by example-guided unfolding
cites work: A Declarative Debugger for Maude Functional Modules
cites work: Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming
cites work: A declarative debugging system for lazy functional logic programs
cites work: Q2763637
cites work: All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
cites work: Assertion based Inductive Verification Methods for Logic Programs
cites work: Abstract diagnosis
cites work: Q3716279
cites work: Deductive and inductive synthesis of equational programs
cites work: Q3789062
cites work: Effectively Checking the Finite Variant Property
cites work: Variant Narrowing and Equational Unification
cites work: Declarative modeling of the operational behavior of logic languages
cites work: A model-theoretic reconstruction of the operational semantics of logic programs
cites work: Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
cites work: Q2763642
cites work: Verification of Erlang processes by dependency pairs
cites work: Kernel-LEAF: A logic plus functional language
cites work: Sufficient conditions for modular termination of conditional term rewriting systems
cites work: The integration of functions into logic programming: From theory to practice
cites work: Multi-paradigm Declarative Languages
cites work: Q4281583
cites work: Higher-order narrowing with definitional trees
cites work: Foundations of equational logic programming
cites work: Q3883561
cites work: Q4023825
cites work: Q3339245
cites work: Q3725521

An integrated framework for the diagnosis and correction of rule-based programs (cites work)
cites work: Declarative Debugging of Missing Answers for Maude.

An integrated framework for the diagnosis and correction of rule-based programs (cites work)
cites work: Algebraic and logic programming. Third international conference, ALP '92, Volterra, Italy, September 2--4, 1992. Proceedings

An integrated framework for the diagnosis and correction of rule-based programs (cites work)
cites work: Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols

An integrated framework for the diagnosis and correction of rule-based programs (cites work)
cites work: Logic programming with functions and predicates: The language Babel

An integrated framework for the diagnosis and correction of rule-based programs (cites work)
cites work: Inductive logic programming

An integrated framework for the diagnosis and correction of rule-based programs (cites work)
cites work: Inductive Logic Programming: Theory and methods

An integrated framework for the diagnosis and correction of rule-based programs (cites work)
cites work: Q4259962

An integrated framework for the diagnosis and correction of rule-based programs (cites work)
cites work: Q4040341

An integrated framework for the diagnosis and correction of rule-based programs (cites work)
cites work: Transformation of logic programs: Foundations and techniques

An integrated framework for the diagnosis and correction of rule-based programs (cites work)
cites work: Q4391453

An integrated framework for the diagnosis and correction of rule-based programs (cites work)
cites work: Characterizing and proving operational termination of deterministic conditional term rewriting systems

An integrated framework for the diagnosis and correction of rule-based programs (cites work)
cites work: Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity

An integrated framework for the diagnosis and correction of rule-based programs (DOI)
DOI: 10.1016/J.TCS.2010.07.009