Abstract Diagnosis of First Order Functional Logic Programs

DOI10.1007/978-3-642-20551-4_14MaRDI QIDQ3003495zbMATH OpenOpenAlexFDO

Authors Giovanni Bacci, Marco Comini

Publication date 27 May 2011

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-20551-4_14

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4211480
• Abstract diagnosis of functional programs
• Logic program synthesis from first-order logic specifications
• scientific article; zbMATH DE number 970703
• Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming
• Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming
• A debugging scheme for functional logic programs
• Abstract correction of first-order functional programs
• Logic Programming
• scientific article; zbMATH DE number 512882

Cites work

• scientific article; zbMATH DE number 1692897 (Why is no real title available?)
• scientific article; zbMATH DE number 177828 (Why is no real title available?)
• scientific article; zbMATH DE number 1420819 (Why is no real title available?)
• A compact fixpoint semantics for term rewriting systems
• Abstract diagnosis
• Abstract diagnosis of functional programs
• Abstract interpretation based verification of logic programs
• An integrated framework for the diagnosis and correction of rule-based programs
• Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming
• Systematic design of program transformation frameworks by abstract interpretation

Cited in

(7)

• An integrated framework for the diagnosis and correction of rule-based programs
• Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming
• A theoretical framework for the declarative debugging of functional logic programs with lambda abstractions
• Abstract diagnosis of functional programs
• Transformation and debugging of functional logic programs
• Abstract correction of first-order functional programs
• Declarative debugging of functional logic programs

This page was built for publication: Abstract Diagnosis of First Order Functional Logic Programs

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