CORRECTNESS PROOFS FOR ABSTRACT IMPLEMENTATIONS

被引：1
作者：
BERNOT, G
机构：
来源：
INFORMATION AND COMPUTATION | 1989年 / 80卷 / 02期
关键词：
D O I：
10.1016/0890-5401(89)90016-3
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：121 / 151
页数：31
相关论文
共 50 条
  • [31] PROOFS OF PARTIAL CORRECTNESS FOR ITERATIVE AND RECURSIVE COMPUTATIONS
    COURCELLE, B
    JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 297 - 298
  • [32] Proofs of Correctness and Properties of Integer Adder Circuits
    Chen, Gang
    Liu, Feng
    IEEE TRANSACTIONS ON COMPUTERS, 2010, 59 (01) : 134 - 136
  • [33] Automatic correctness proofs for logic program transformations
    Pettorossi, Alberto
    Proietti, Maurizio
    Senni, Valerio
    LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 364 - +
  • [34] On Automatically Proving the Correctness of math . h Implementations
    Lee, Wonyeol
    Sharma, Rahul
    Aiken, Alex
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2
  • [35] AN ABSTRACT SETTING FOR HENKIN PROOFS
    GOLDBLATT, R
    TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY, 1984, 3 (01): : 37 - 41
  • [36] Proofs, programs and abstract complexity
    Beckmann, Arnold
    Computer Science Logic, Proceedings, 2007, 4646 : 4 - 5
  • [37] Automatic Correctness Checking of Implementations of Concurrent Objects
    Bouajjani, Ahmed
    Emmi, Michael
    Enea, Constantin
    Hamza, Jad
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2014, 2014, 8837 : XII - XII
  • [38] CHARACTERIZING COMPOSABILITY OF ABSTRACT IMPLEMENTATIONS
    OREJAS, F
    LECTURE NOTES IN COMPUTER SCIENCE, 1983, 158 : 335 - 346
  • [39] Correctness Witness Validation by Abstract Interpretation
    Saan, Simmo
    Schwarz, Michael
    Erhard, Julian
    Seidl, Helmut
    Tilscher, Sarah
    Vojdani, Vesal
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2024, PT I, 2024, 14499 : 74 - 97
  • [40] Encoding the program correctness proofs as programs in PCC technology
    Pirzadeh, Heidar
    Dube, Danny
    SIXTH ANNUAL CONFERENCE ON PRIVACY, SECURITY AND TRUST, PROCEEDINGS, 2008, : 121 - +
12345