茶包

TeaBag:一个功能逻辑调试器。我们描述了一个用于函数逻辑计算的调试器。调试器是当前正在开发的虚拟机的附件。调试器的一个独特之处在于它的运算完整性。我们概述了调试器的特性,特别是对不确定性的处理、控制非确定性步骤、删除上下文信息、切换急切求值以及在函数和术语上设置断点的能力。我们简要描述调试器的体系结构及其与相关虚拟机的交互。最后,我们描述了一个缺陷程序的简短调试会话,以显示实际调试器功能和窗口截图。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换