逻辑程序的外部行为与重构的验证
摘要：重构是在不改变程序外部行为的情况下修改程序。在本文中，我们为一个简单的答案集编程语言明确了外部行为的概念。然后，我们描述了一个证明助手，用于验证在该语言中正确执行程序的重构。
作者：Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple
论文ID：2305.17485
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-05-30