The following pages link to Functional and Logic Programming (Q5308014):
Displaying 8 items.
- A new generic scheme for functional logic programming with constraints (Q880985) (← links)
- Declarative debugging of rewriting logic specifications (Q1931907) (← links)
- A Framework for Interpreting Traces of Functional Logic Computations (Q2873790) (← links)
- Declarative Debugging of Rewriting Logic Specifications (Q3184739) (← links)
- Declarative Debugging of Membership Equational Logic Specifications (Q3507364) (← links)
- Functional Logic Programming: From Theory to Curry (Q4916076) (← links)
- A Logical Framework for Debugging in Declarative Constraint Programming (Q5170295) (← links)
- A Declarative Debugger for Maude Functional Modules (Q5179130) (← links)
