External Behavior of a Logic Program and Verification of Refactoring
Not on the map. Why?
Abstract (arXiv)
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.
Key facts. Cited by 3 papers in the map (data through 14 Oct 2026). First posted on arXiv 27 May 2023.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2025: 3.
3 papers.