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 条
  • [21] PROOFS, PROGRAM CORRECTNESS, AND SOFTWARE ENGINEERING
    MERRILL, G
    SIGPLAN NOTICES, 1983, 18 (12): : 96 - 105
  • [22] Towards practical proofs of class correctness
    Meyer, B
    ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, 2003, 2651 : 359 - 387
  • [23] CORRECTNESS PROOFS OF DISTRIBUTED TERMINATION ALGORITHMS
    APT, KR
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1986, 8 (03): : 388 - 405
  • [24] TOWARD COMPILER IMPLEMENTATION CORRECTNESS PROOFS
    CHIRICA, LM
    MARTIN, DF
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1986, 8 (02): : 185 - 214
  • [25] Abstract cyclic proofs
    Afshari, Bahareh
    Wehr, Dominik
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2024, 34 (07) : 552 - 577
  • [26] ALGEBRAIC IMPLEMENTATIONS PRESERVE PROGRAM CORRECTNESS
    BROY, M
    MOLLER, B
    PEPPER, P
    WIRSING, M
    SCIENCE OF COMPUTER PROGRAMMING, 1986, 7 (01) : 35 - 53
  • [27] Abstract Cyclic Proofs
    Afshari, Bahareh
    Wehr, Dominik
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2022, 2022, 13468 : 309 - 325
  • [28] Correctness kernels of abstract interpretations
    Giacobazzi, Roberto
    Ranzato, Francesco
    INFORMATION AND COMPUTATION, 2014, 237 : 187 - 203
  • [29] Proofs of Correctness and Properties of Integer Adder Circuits
    Chen, Gang
    Liu, Feng
    IEEE TRANSACTIONS ON COMPUTERS, 2010, 59 (01) : 134 - 136
  • [30] Automatic correctness proofs for logic program transformations
    Pettorossi, Alberto
    Proietti, Maurizio
    Senni, Valerio
    LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 364 - +
12345