External Behavior of a Logic Program and Verification of Refactoring

Download PDF
Open Webpage

Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple

Published: 2023, Last Modified: 25 Jul 2025Theory Pract. Log. Program. 2023EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: 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.