"External Behavior of a Logic Program and Verification of Refactoring" by Jorge Fandinno

Selected Works of Yuliya Lierler

Follow Contact

Article

External Behavior of a Logic Program and Verification of Refactoring

Theory and Practice of Logic Programming (2023)

Jorge Fandinno
Zachary Hansen
Yuliya Lierler
Vladimir Lifschitz, University of Texas at Austin
Nathan Temple

Link

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.

Disciplines

Artificial Intelligence and Robotics

Publication Date

2023

Citation Information

Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, et al.. "External Behavior of a Logic Program and Verification of Refactoring" Theory and Practice of Logic Programming (2023)
Available at: http://works.bepress.com/yuliya_lierler/123/