Weakest preconditions for pure Prolog programs

被引：5
|
作者：
Pedreschi, D [1 ]
Ruggieri, S [1 ]
机构：
[1] Univ Pisa, Dipartimento Informat, I-56125 Pisa, Italy
来源：
INFORMATION PROCESSING LETTERS | 1998年 / 67卷 / 03期
关键词：
logic programming; Prolog; Hoare's logic; weakest preconditions; weakest liberal preconditions; program correctness;
D O I：
10.1016/S0020-0190(98)00098-2
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We introduce a characterization of weakest preconditions and weakest liberal preconditions of pure Prolog programs P and postconditions Post in terms of ordinal closures of a natural operator based on P and Post. (C) 1998 Elsevier Science B.V. All rights reserved.
引用
收藏
页码：145 / 150
页数：6
相关论文
共 50 条
  • [1] Weakest preconditions for high-level programs
    Habel, Annegret
    Pennemann, Karl-Heinz
    Rensink, Arend
    [J]. GRAPH TRANSFORMATIONS, PROCEEDINGS, 2006, 4178 : 445 - 460
  • [2] Efficient weakest preconditions
    Rustan, K
    Leino, M
    [J]. INFORMATION PROCESSING LETTERS, 2005, 93 (06) : 281 - 288
  • [3] Weakest preconditions in fibrations
    Aguirre, Alejandro
    Katsumata, Shin-ya
    Kura, Satoshi
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2022, 32 (04) : 472 - 510
  • [4] Quantum weakest preconditions
    D'Hondt, Ellie
    Panangaden, Prakash
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2006, 16 (03) : 429 - 451
  • [5] CHARACTERIZATION OF WEAKEST PRECONDITIONS
    WAND, M
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1977, 15 (02) : 209 - 212
  • [6] A transformation tool for pure Prolog programs
    Brunekreef, J
    [J]. LOGIC PROGRAM SYNTHESIS AND TRANSFORMATION, 1997, 1207 : 130 - 145
  • [7] Weakest Preconditions in Fibrations
    Aguirre, Alejandro
    Katsumata, Shin-ya
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2020, 352 (352) : 5 - 27
  • [8] Software Reliability Analysis Using Weakest Preconditions in Linear Assignment Programs
    Luo, Hang
    Liu, Xue
    Chen, Xi
    Long, Ting
    Jiang, Ronghua
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 42 (09) : 866 - 885
  • [9] Generalised quantum weakest preconditions
    Roman Gielerak
    Marek Sawerwain
    [J]. Quantum Information Processing, 2010, 9 : 441 - 449
  • [10] Generalised quantum weakest preconditions
    Gielerak, Roman
    Sawerwain, Marek
    [J]. QUANTUM INFORMATION PROCESSING, 2010, 9 (04) : 441 - 449
12345