×

天基信息平台

swMATH ID: 6309
软件作者: 弗布拉罗,奥诺弗里奥;里尔,克里斯蒂安;弗朗西斯科·里卡
描述: ASPIDE:用于应答集编程的集成开发环境。答案集编程(ASP)是在非单调推理和逻辑编程领域提出的一种真正独立的编程范式。在过去几年中,提出了几个用于ASP程序开发的工具,包括(或多或少是先进的)编辑器和调试器。然而,ASP仍然缺少支持ASP开发的整个生命周期的集成开发环境(IDE),从(辅助)程序编辑到应用程序部署。在本文中,我们介绍了ASPID,这是一个用于ASP的综合IDE,它集成了一个尖端的编辑工具(具有动态语法突出显示、在线语法更正、自动补全、代码模板、快速fix、重构等功能)和一组用户友好的图形工具,用于程序合成、调试、分析、数据库访问、,解算器执行配置和输出处理。
主页: http://www.dlvsystem.com/dlvsystema/index.php/ASPIDE
相关软件: 海狮;卡拉;APE公司;WASP公司;Potassco公司;辐条;ASPVIZ公司;格林戈;克林戈;DLV公司;斯莫德尔斯;ezcsp公司;哈维;iGROM公司;在线SPARC;亚萨特;DLV2型;接通DLV;OntoStudio(OntoStudio);路易斯安那州
引用于: 12文件

标准条款

1出版物描述软件 年份
ASPIDE:用于应答集编程的集成开发环境
弗布拉罗,奥诺弗里奥;里尔,克里斯蒂安;弗朗西斯科·里卡
2011

按年份列出的引文