External Behavior of a Logic Program and Verification of Refactoring-Reference-Cited by-同舟云学术

External Behavior of a Logic Program and Verification of Refactoring

Published:2023-07 Issue:4 Volume:23 Page:933-947
ISSN:1471-0684
Container-title:Theory and Practice of Logic Programming
language:en
Short-container-title:Theory and Practice of Logic Programming

Author:

FANDINNO JORGE^ORCID,HANSEN ZACHARY^ORCID,LIERLER YULIYA^ORCID,LIFSCHITZ VLADIMIR^ORCID,TEMPLE NATHAN

Abstract

AbstractRefactoring 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.

Publisher

Cambridge University Press (CUP)

Subject

Artificial Intelligence,Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science,Software

Reference15 articles.

1. Axiomatization of Aggregates in Answer Set Programming

2. Program Correspondence under the Answer-Set Semantics: The Non-ground Case

3. Kovaćs, L. and Voronkov, A. 2013. First-order theorem proving and Vampire. In International Conference on Computer Aided Verification, 1–35.

4. Knowledge Representation, Reasoning, and the Design of Intelligent Agents

5. Abstract gringo

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Locally Tight Programs;Theory and Practice of Logic Programming;2024-01-19

2. Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic;Lecture Notes in Computer Science;2024

3. Proceedings 39th International Conference on Logic Programming;Electronic Proceedings in Theoretical Computer Science;2023-09-12