External Behavior of a Logic Program and Verification of Refactoring
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2023
- DOI:
- 10.48550/arXiv.2305.17485
- arXiv:
- arXiv:2305.17485
- Bibcode:
- 2023arXiv230517485F
- Keywords:
-
- Computer Science - Logic in Computer Science
- E-Print:
- Accepted to Theory and Practice of Logic Programming (ICLP 2023)