阿斯匹德

ASIDE:答案集编程的集成开发环境。答案集编程(ASP)是在非单调推理和逻辑编程领域提出的一种真正的声明式编程范式。在过去的几年里,已经提出了几种ASP程序开发工具,包括(或多或少先进的)编辑器和调试器。然而,ASP仍然缺乏一个支持ASP开发的整个生命周期的集成开发环境(IDE),从(辅助)程序编辑到应用程序部署。本文介绍了ASP的一个综合性的IDE,它集成了一个先进的编辑工具(具有动态语法突出显示、在线语法更正、自动完成、代码模板、快速修复、重构等功能)和一系列用户友好的图形化工具,用于程序编写、调试、分析、数据库访问,求解器执行配置和输出处理。


zbMATH中的参考文献(参考文献12条,1标准件)

显示第1到第12个结果,共12个。
按年份排序(引用)

  1. 多达罗,胭脂红;加斯泰格,菲利普;真的,克里斯蒂安;里卡,弗朗西斯科;Schekotihin,Konstantin:调试非基础ASP程序:技术和图形工具(2019)
  2. 斯特雷德(莫雷德);Schulz,Claudia(编辑):《面向用户的逻辑编程与推理范例TPLP专刊导论》(2019)
  3. 范迪诺,豪尔赫;舒尔茨,克劳迪娅:回答集编程中的“为什么”——解释方法调查(2019)
  4. 凯恩,托比亚斯;汤姆皮茨,汉斯:乌胡拉:一个使用受控自然语言指定答案集程序的创作工具(2019)
  5. 马可普洛斯,伊莱亚斯;张元林:onlineSPARC:答案集编程的编程环境(2019)
  6. 袁,提摩太T。;雷耶斯,玛丽莎;张元林:通过逻辑编程向高中生介绍计算机科学(2019)
  7. 舒尔茨,克劳迪娅;托尼,弗朗西斯卡:《用论证证明答案集的合理性》(2016)
  8. 康法罗涅里,罗伯托;Prade,Henri:使用可能性逻辑建模定性决策:答案集编程算法(2014)
  9. 费布拉罗,奥诺弗里奥;利昂,尼古拉;真的,克里斯蒂安;Ricca,Francesco:在\textitASPIDE中进行单元测试(2013)ioport公司
  10. 德沃斯,玛丽娜;基萨,多ğ小发明;欧茨,约翰内斯;Pü你好,Jörg公司;汤姆皮茨,汉斯:在拉纳注释答案集程序(2012年)
  11. 费布拉罗,奥诺弗里奥;真的,克里斯蒂安;Ricca,Francesco:ASPIDE:答案集编程的集成开发环境(2011)ioport公司
  12. Johannes Oetsch,JöRGP公司ü汉斯·汤姆皮茨:海豹登陆:答案集编程的IDE——初步报告(2011)阿尔十四