Abstract interpretation based verification of logic programs

被引：1
|
作者：
Comini, M
Gori, R
Levi, G
Volpe, P
机构：
[1] Univ Pisa, Dipartimento Informat, I-25100 Pisa, Italy
[2] Univ Udine, Dipartimento Matemat & Informat, I-33100 Udine, Italy
来源：
SCIENCE OF COMPUTER PROGRAMMING | 2003年 / 49卷 / 1-3期
关键词：
D O I：
10.1016/j.scico.2003.08.002
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper is an overview of our results on the application of abstract interpretation concepts to various problems related to the verification of logic programs. These include the systematic design of semantics modeling various proof methods and the characterization of assertions as abstract domains. We derive an assertion based verification method and we show two instances based on different assertion languages: a decidable assertion language and CLP used as an assertion language. (C) 2003 Elsevier B.V. All rights reserved.
引用
收藏
页码：89 / 123
页数：35
相关论文
共 50 条
  • [1] DENOTATIONAL ABSTRACT INTERPRETATION OF LOGIC PROGRAMS
    MARRIOTT, K
    SONDERGAARD, H
    JONES, ND
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (03): : 607 - 648
  • [2] ABSTRACT INTERPRETATION AND APPLICATION TO LOGIC PROGRAMS
    COUSOT, P
    COUSOT, R
    JOURNAL OF LOGIC PROGRAMMING, 1992, 13 (2-3): : 103 - 179
  • [3] Abstract verification and debugging of constraint logic programs
    Hermenegildo, M
    Puebla, G
    Bueno, F
    López-García, P
    RECENT ADVANCES IN CONSTRAINTS, 2003, 2627 : 1 - 14
  • [4] TOWARDS A FRAMEWORK FOR THE ABSTRACT INTERPRETATION OF LOGIC PROGRAMS
    NILSSON, U
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 348 : 68 - 82
  • [5] An abstract interpretation approach to termination of logic programs
    Gori, R
    LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS, 2000, 1955 : 362 - 380
  • [6] A PRACTICAL FRAMEWORK FOR THE ABSTRACT INTERPRETATION OF LOGIC PROGRAMS
    BRUYNOOGHE, M
    JOURNAL OF LOGIC PROGRAMMING, 1991, 10 (02): : 91 - 124
  • [7] Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs
    Feng, Yuan
    Li, Sanjiang
    INFORMATION AND COMPUTATION, 2023, 294
  • [8] ABSTRACT INTERPRETATION OF LOGIC PROGRAMS USING MAGIC TRANSFORMATIONS
    DEBRAY, S
    RAMAKRISHNAN, R
    JOURNAL OF LOGIC PROGRAMMING, 1994, 18 (02): : 149 - 176
  • [9] Abstract interpretation of PIC programs through logic programming
    Henriksen, Kim S.
    Gallagher, John P.
    SIXTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2006, : 184 - +
  • [10] Polymorphic type analysis in logic programs by abstract interpretation
    Lu, LJ
    JOURNAL OF LOGIC PROGRAMMING, 1998, 36 (01): : 1 - 54
12345