当前位置:
X-MOL 学术
›
Theory Pract. Log. Program.
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
External Behavior of a Logic Program and Verification of Refactoring
Theory and Practice of Logic Programming ( IF 1.4 ) Pub Date : 2023-07-18 , DOI: 10.1017/s1471068423000200 JORGE FANDINNO , ZACHARY HANSEN , YULIYA LIERLER , VLADIMIR LIFSCHITZ , NATHAN TEMPLE
中文翻译:
逻辑程序的外部行为和重构验证
更新日期:2023-07-18
Theory and Practice of Logic Programming ( IF 1.4 ) Pub Date : 2023-07-18 , DOI: 10.1017/s1471068423000200 JORGE FANDINNO , ZACHARY HANSEN , YULIYA LIERLER , VLADIMIR LIFSCHITZ , NATHAN TEMPLE
Refactoring is modifying a program without changing its external behavior. In this paper, we make the concept of external behavior precise for a simple answer set programming language. Then we describe a proof assistant for the task of verifying that refactoring a program in that language is performed correctly.
中文翻译:
逻辑程序的外部行为和重构验证
重构是修改程序而不改变其外部行为。在本文中,我们将外部行为的概念精确化为简单的答案集编程语言。然后,我们描述一个证明助手,用于验证用该语言重构程序是否正确执行。