Cited in
(15)- Declarative Diagnosis of Temporal Concurrent Constraint Programs
- A framework for interpreting traces of functional logic computations
- A Program Transformation for Tracing Functional Logic Computations
- ObjectCurry
- An integrated framework for the diagnosis and correction of rule-based programs
- BABEL
- Kima
- Kernel-LEAF
- TOY
- Freja
- Hat
- Hood
- PAKCS
- Functional Logic Programming: From Theory to Curry
- A Virtual Machine for Functional Logic Computations
This page was built for software: TeaBag
