Author ORCID Identifier
Theory and Practice of Logic Programming
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.
Fandinno, Jorge; Hansen, Zachary; Lierler, Yuliya; Lifschitz, Vladimir; and temple, Nathan, "External Behavior of a Logic Program and Verification of Refactoring" (2023). Computer Science Faculty Publications. 103.
Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 License.