交互式咖喱观察调试器iCODE
摘要
工具书类
建议
使用多线程和存储实现函数逻辑语言 2004年ICFP 最近的函数逻辑语言（如Curry和Toy）将惰性函数编程与逻辑编程特性结合起来，包括逻辑变量、非确定性、统一、缩小、公平搜索、并发和剩余。 在本文中，我们。。。 交互式验证调试器：有效理解交互式验证尝试 ASE’16：第31届IEEE/ACM自动化软件工程国际会议论文集 符号执行调试器（SED）是Eclipse调试平台的扩展，用于交互式符号执行。 像传统的调试器一样，SED可以用来定位缺陷的来源并增加对程序的理解。 然而，由于。。。 假设生成器：一种基于假设的调试器，用于查找和测试调试假设 UIST’23：第36届ACM用户界面软件和技术年度研讨会会议记录 当软件出现缺陷时，开发人员通过制定假设来解释原因，从而开始调试过程。 这些假设指导调查过程，确定开发人员收集哪些证据来接受或拒绝假设，例如。。。
