TeaBag: A Debugger for Curry
This thesis describes TeaBag, which is a debugger for functional logic computations. TeaBag 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. This thesis d...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
PDXScholar
2004
|
| Subjects: | |
| Online Access: | https://pdxscholar.library.pdx.edu/open_access_etds/2663 https://pdxscholar.library.pdx.edu/cgi/viewcontent.cgi?article=3667&context=open_access_etds |