TeaBag swMATH ID: 8980 Software Authors: S. Antoy, S. Johnson Description: 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. Homepage: http://137.226.34.227/Publications/AIB/2004/2004-05.pdf#page=6 Related Software: TOY; PAKCS; Hood; Hat; Freja; Oz; Kernel-LEAF; Curry; BABEL; Mercury; Haskell; ObjectCurry; DiSCiPl; GHC; Kima; QuickCheck; Maude; ELAN Cited in: 6 Publications all top 5 Cited by 14 Authors 2 Braßel, Bernd 2 Falaschi, Moreno 2 Hanus, Michael 1 Alpuente, María 1 Antoy, Sergio 1 Ballis, Demis 1 Correa, Francisco José 1 Fischer, Sebastian 1 Huch, Frank 1 Liu, Jimeng 1 Olarte, Carlos 1 Palamidessi, Catuscia 1 Tolmach, Andrew 1 Valencia, Frank D. Cited in 1 Serial 1 Theoretical Computer Science Cited in 1 Field 6 Computer science (68-XX) Citations by Year