External Behavior of a Logic Program and Verification of Refactoring

被引：2
|
作者：
Fandinno, Jorge [1 ]
Hansen, Zachary [1 ]
Lierler, Yuliya [1 ]
Lifschitz, Vladimir [2 ]
Temple, Nathan [2 ]
机构：
[1] Univ Nebraska, Omaha, NE 68182 USA
[2] Univ Texas Austin, Austin, TX USA
来源：
THEORY AND PRACTICE OF LOGIC PROGRAMMING | 2023年 / 23卷 / 04期
关键词：
answer set programming; software verification; proof assistant; automated reasoning;
D O I：
10.1017/S1471068423000200
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：933 / 947
页数：15
相关论文
共 50 条
  • [41] A verification logic for rewriting logic
    Martí-Oliet, N
    Pita, I
    Fiadeiro, JL
    Meseguer, J
    Maibaum, T
    JOURNAL OF LOGIC AND COMPUTATION, 2005, 15 (03) : 317 - 352
  • [42] Knowledge Refactoring for Inductive Program Synthesis
    Dumancic, Sebastijan
    Guns, Tias
    Cropper, Andrew
    THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2021, 35 : 7271 - 7278
  • [43] Verification logic
    Aguilera, Juan Pablo
    Fernandez-Duque, David
    JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (08) : 2451 - 2469
  • [44] Program Behavior Discovery and Verification: A Graph Grammar Approach
    Zhao, Chunying
    Kong, Jun
    Zhang, Kang
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2010, 36 (03) : 431 - 448
  • [45] Visualizing Multiple Program Executions to Assist Behavior Verification
    Zhao, Chunying
    Zhang, Kang
    Hao, He
    Wong, W. Eric
    2009 THIRD IEEE INTERNATIONAL CONFERENCE ON SECURE SOFTWARE INTEGRATION AND RELIABILITY IMPROVEMENT, PROCEEDINGS, 2009, : 113 - 122
  • [46] Rule base refactoring design for fuzzy logic controllers
    Hwang, KS
    Ju, MY
    INTELLIGENT AUTOMATION AND SOFT COMPUTING, 2001, 7 (04): : 221 - 231
  • [47] Program refactoring, program synthesis, and model-driven development
    Batory, Don
    Compiler Construction, Proceedings, 2007, 4420 : 156 - 171
  • [48] Application of Paraconsistent Annotated Logic Program EVALPSN to Intelligent Control/Safety Verification
    Nakamatsu, Kazumi
    2017 6TH INTERNATIONAL CONFERENCE ON RELIABILITY, INFOCOM TECHNOLOGIES AND OPTIMIZATION (TRENDS AND FUTURE DIRECTIONS) (ICRITO), 2017, : 113 - 113
  • [49] Application of Paraconsistent Annotated Logic Program EVALPSN to Intelligent Control/Safety Verification
    Nakamatsu, Kazumi
    SOFA 2009: 3RD INTERNATIONAL WORKSHOP ON SOFT COMPUTING APPLICATIONS, PROCEEDINGS, 2009, : 21 - 21
  • [50] EA-based refactoring of mapped logic circuits
    Kocnova, Jitka
    Vasicek, Zdenek
    2019 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), 2019,
12345