×

阿斯匹德

swMATH标识: 6309
软件作者: 费布拉罗,奥诺弗里奥;真的,克里斯蒂安;里卡,弗朗西斯科
说明: ASIDE:答案集编程的集成开发环境。答案集编程(ASP)是在非单调推理和逻辑编程领域提出的一种真正的声明式编程范式。在过去的几年里,已经提出了几种ASP程序开发工具,包括(或多或少先进的)编辑器和调试器。然而,ASP仍然缺乏一个支持ASP开发的整个生命周期的集成开发环境(IDE),从(辅助)程序编辑到应用程序部署。本文介绍了ASP的一个综合性的IDE,它集成了一个先进的编辑工具(具有动态语法突出显示、在线语法更正、自动完成、代码模板、快速修复、重构等功能)和一系列用户友好的图形化工具,用于程序编写、调试、分析、数据库访问,求解器执行配置和输出处理。
主页: http://www.dlvsystem.com/dlvsystem/index.php/ASPIDE
相关软件: 海狮;卡拉;猿类;黄蜂;钾肥;斯波克;阿斯维兹;外国佬;保鲜膜;DLV公司;烟雾;ezcsp公司;哈维;伊格洛姆;联机Sparc;阿萨德;DLV2型;本体论;OntoStudio公司;卢阿
参考文献: 12种出版物

标准条款

1个出版物描述软件
ASPIDE:答案集编程的集成开发环境
费布拉罗,奥诺弗里奥;真的,克里斯蒂安;里卡,弗朗西斯科
2011

按年份引用出版物