Pages that link to "Item:Q3079916"
From MaRDI portal
The following pages link to Abstract Diagnosis of Functional Programs (Q3079916):
Displaying 11 items.
- An integrated framework for the diagnosis and correction of rule-based programs (Q604477) (← links)
- Loop detection in term rewriting using the eliminating unfoldings (Q944383) (← links)
- A compact fixpoint semantics for term rewriting systems (Q987981) (← links)
- Termination of narrowing revisited (Q1035697) (← links)
- Declarative debugging of rewriting logic specifications (Q1931907) (← links)
- Transforming Boolean equalities into constraints (Q2628300) (← links)
- Abstract Diagnosis of First Order Functional Logic Programs (Q3003495) (← links)
- Declarative Debugging of Membership Equational Logic Specifications (Q3507364) (← links)
- A Fully Abstract Semantics for Constructor Systems (Q3636832) (← links)
- A Declarative Debugger for Maude Functional Modules (Q5179130) (← links)
- From Boolean Equalities to Constraints (Q5743586) (← links)