国歌

国歌:将GRIGO程序转变为一阶理论(初步报告)。在哈里森等人最近的一篇论文中,程序完成的概念被扩展到ASP Granger-Grango的输入语言中的一大类程序。我们希望自动化生成和简化该语言中的程序的完成公式的过程,因为检查这种软件产生的输出可以帮助程序员更清楚地看到他们的程序所做的以及它的稳定模型的集合符合他们的意图的程度。如果程序的形式规范是可用的,那么就可以使用该软件结合自动推理工具来验证程序是否正确。这是一个关于这个想法的项目的初步报告。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。