External Behavior of a Logic Program and Verification of Refactoring

Authors

Jorge Fandinno, University of Nebraska at OmahaFollow
Zachary Hansen, University of Nebraska at OmahaFollow
Yuliya Lierler, University of Nebraska at OmahaFollow
Vladimir Lifschitz, University of Texas at Austin
Nathan temple, University of Texas at Austin

Author ORCID Identifier

Fandinno https://orcid.org/0000-0002-3917-8717

Hansen https://orcid.org/0000-0002-8447-4048

Lierler https://orcid.org/0000-0002-6146-623X

Lifschitz https://orcid.org/0000-0001-6051-7907

Document Type

Article

Publication Date

7-18-2023

Publication Title

Theory and Practice of Logic Programming

First Page

1

Last Page

15

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.

Comments

This is an open access article that was published through the Open Access Publishing agreement between Cambridge University Press and the University of Nebraska. This article is licensed under Creative Commons Attribution license.

DOI: https://doi.org/10.1017/S1471068423000200

Recommended Citation

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.
https://digitalcommons.unomaha.edu/compscifacpub/103

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 License.