TeaBag
TeaBag: a functional logic debugger. We describe a debugger for functional logic computations. The debugger is an accessory of a virtual machine currently under development. A distinctive feature of this machine is its operational completeness of computations, which places novel demands on a debugger. We give an overview of the debugger’s features, in particular the handling of nondeterminism, the ability to control non-deterministic steps, to remove context information, to toggle eager evaluation, and to set breakpoints on both functions and terms. We briefly describe the debugger’s architecture and its interaction with the associated virtual machine. Finally, we describe a short debugging session of a defective program to show in action debugger features and window screenshots.
Keywords for this software
References in zbMATH (referenced in 6 articles )
Showing results 1 to 6 of 6.
Sorted by year (- Hanus, Michael: Functional logic programming: from theory to Curry (2013)
- Alpuente, M.; Ballis, D.; Correa, F.; Falaschi, M.: An integrated framework for the diagnosis and correction of rule-based programs (2010)
- Braßel, Bernd: A framework for interpreting traces of functional logic computations (2007)
- Brassel, Bernd; Fischer, Sebastian; Huch, Frank: A program transformation for tracing functional logic computations (2007)
- Falaschi, M.; Olarte, C.; Palamidessi, C.; Valencia, F.: Declarative diagnosis of temporal concurrent constraint programs (2007)
- Antoy, Sergio; Hanus, Michael; Liu, Jimeng; Tolmach, Andrew: A virtual machine for functional logic computations (2005)