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 条
  • [31] HEngineering Hoare Logic-based Program Verification in K Framework
    Arusoaie, Andrei
    2013 15TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2013), 2014, : 177 - 184
  • [32] A framework for testing first-order logic axioms in program verification
    Ahn, Ki Yung
    Denney, Ewen
    SOFTWARE QUALITY JOURNAL, 2013, 21 (01) : 159 - 200
  • [33] Program Verification Under Weak Memory Consistency Using Separation Logic
    Vafeiadis, Viktor
    COMPUTER AIDED VERIFICATION, CAV 2017, PT I, 2017, 10426 : 30 - 46
  • [34] A framework for testing first-order logic axioms in program verification
    Ki Yung Ahn
    Ewen Denney
    Software Quality Journal, 2013, 21 : 159 - 200
  • [35] Formal behavior verification of HLA federations using temporal logic
    Brade, D
    MODELLING AND SIMULATION 2002, 2002, : 273 - 277
  • [36] A Framework for Formal Verification of Behavior Trees With Linear Temporal Logic
    Biggar, Oliver
    Zamani, Mohammad
    IEEE ROBOTICS AND AUTOMATION LETTERS, 2020, 5 (02) : 2341 - 2348
  • [37] Architectural refactoring of corporate program systems
    M. V. Ksenzov
    Programming and Computer Software, 2006, 32 : 31 - 43
  • [38] Architectural refactoring of corporate program systems
    Ksenzov, MV
    PROGRAMMING AND COMPUTER SOFTWARE, 2006, 32 (01) : 31 - 43
  • [39] Refactoring via program slicing and sliding
    Ettinger, Ran
    2007 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, 2007, : 519 - 520
  • [40] Program Refactoring using Functional Aspects
    Apel, Sven
    Kaestner, Christian
    Batory, Don
    GPCE'08: PROCEEDINGS OF THE ACM SIGPLAN SEVENTH INTERNATIONAL CONFERENCE ON GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING, 2008, : 161 - 170
12345