海狮

海豹登陆:答案集编程的IDE——初步报告。我们报告了工具selian的当前状态和指定的特性,旨在作为应答集编程(ASP)的集成开发环境(IDE)。SeaLion的一个主要目标是提供一个用户友好的环境来支持开发人员编写、评估、调试和测试答案集程序。为此,必须开发新的支持技术,以满足答案集语义的要求,并满足实际应用的限制。在这方面,SeaLion得益于一个关于答案集程序开发方法和方法的项目的研究成果,在这个项目中实现了SeaLion。目前,该工具为Gringo和DLV语言提供源代码编辑器,它们提供语法高亮显示、语法检查和可视化程序大纲。进一步实现的功能是支持外部解算器和可视化以及答案集的可视化编辑。SeaLion是流行的Eclipse平台的一个插件,它为将来的IDE扩展提供了接口。


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

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

  1. 多达罗,胭脂红;加斯泰格,菲利普;真的,克里斯蒂安;里卡,弗朗西斯科;Schekotihin,Konstantin:调试非基础ASP程序:技术和图形工具(2019)
  2. 斯特雷德(莫雷德);Schulz,Claudia(编辑):《面向用户的逻辑编程与推理范例TPLP专刊导论》(2019)
  3. 范迪诺,豪尔赫;舒尔茨,克劳迪娅:回答集编程中的“为什么”——解释方法调查(2019)
  4. 凯恩,托比亚斯;汤姆皮茨,汉斯:乌胡拉:一个使用受控自然语言指定答案集程序的创作工具(2019)
  5. 马可普洛斯,伊莱亚斯;张元林:onlineSPARC:答案集编程的编程环境(2019)
  6. 欧茨,约翰内斯;Pü你好,Jörg公司;汤姆皮茨,汉斯:答案集程序的逐步调试(2018)
  7. 布索尼乌,保拉·安德拉;欧茨,约翰内斯;Pü你好,Jörg公司;Sko公司č奥夫斯克ý, 彼得;Tompits,Hans:selian:基于eclipse的答案集编程IDE,具有高级调试支持(2013)ioport公司
  8. 欧茨,约翰内斯;Pü你好,Jörg公司;Tompits,Hans:The\textbsealion已经登陆:答案集编程的IDE——初步报告(2013)ioport公司
  9. 德沃斯,玛丽娜;基萨,多ğ小发明;欧茨,约翰内斯;Pü你好,Jörg公司;汤姆皮茨,汉斯:在拉纳注释答案集程序(2012年)
  10. Johannes Oetsch,JöRGP公司ü汉斯·汤姆皮茨:海豹登陆:答案集编程的IDE——初步报告(2011)阿尔十四