TeaBag
From MaRDI portal
swMATH8980MaRDI QIDQ20975FDOQ20975
Author name not available (Why is that?)
Official website: http://137.226.34.227/Publications/AIB/2004/2004-05.pdf#page=6
Cited In (13)
- Declarative Diagnosis of Temporal Concurrent Constraint Programs
- An integrated framework for the diagnosis and correction of rule-based programs
- A Program Transformation for Tracing Functional Logic Computations
- Kima
- Kernel-LEAF
- TOY
- Freja
- Hat
- Hood
- PAKCS
- A framework for interpreting traces of functional logic computations
- Functional Logic Programming: From Theory to Curry
- A Virtual Machine for Functional Logic Computations
This page was built for software: TeaBag
