BriefGPT.xyz
Ask
alpha
关键词
aspide
搜索结果 - 3
MM
非安全底部 ASP 程序的调试:技术和图形化工具
提出了一种新的 ASP 程序调试方法,该方法基于非基础程序中所涉及的非基础规则,通过问答能够精确定位程序中的错误。这种调试器集成在 ASPIDE 中,使用 WASP 进行实现。
PDF
6 years ago
MM
面向答案集程序调试的集成图形用户界面
本研究基于 DWASP 方法提供了非极限答案集程序的图形化调试界面,并将其整合到了一个完整的 ASPIDE IDE 中,以提供调试支持。
PDF
8 years ago
MM
ASPIDE 中的单元测试
该论文探讨了如何在 Answer Set Programming(ASP)的编程环境中实现单元测试,防止编程结果发生错误。
PDF
13 years ago
Prev
Next