TeaBag

MaRDI QIDQ20975swMATHFDO

Official website http://137.226.34.227/Publications/AIB/2004/2004-05.pdf#page=6

Cited in

(15)

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

This page was built for software: TeaBag