Abstract Diagnosis of Functional Programs

DOI10.1007/3-540-45013-0_1zbMath1278.68056OpenAlexW1818509088WikidataQ57978273 ScholiaQ57978273MaRDI QIDQ3079916

Salvador Lucas, Santiago Escobar, María Alpuente, Moreno Falaschi, Marco Comini

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

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

Related Items (11)

Transforming Boolean equalities into constraints ⋮ An integrated framework for the diagnosis and correction of rule-based programs ⋮ Declarative debugging of rewriting logic specifications ⋮ Declarative Debugging of Membership Equational Logic Specifications ⋮ Abstract Diagnosis of First Order Functional Logic Programs ⋮ Loop detection in term rewriting using the eliminating unfoldings ⋮ From Boolean Equalities to Constraints ⋮ A Declarative Debugger for Maude Functional Modules ⋮ A compact fixpoint semantics for term rewriting systems ⋮ A Fully Abstract Semantics for Constructor Systems ⋮ Termination of narrowing revisited

Uses Software

• Haskell

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