GENERAL CORRECTNESS - A UNIFICATION OF PARTIAL AND TOTAL CORRECTNESS

被引：26
|
作者：
JACOBS, D [1 ]
GRIES, D [1 ]
机构：
[1] CORNELL UNIV,DEPT COMP SCI,ITHACA,NY 14853
来源：
ACTA INFORMATICA | 1985年 / 22卷 / 01期
关键词：
All Open Access; Green;
D O I：
10.1007/BF00290146
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
COMPUTER PROGRAMMING
引用
收藏
页码：67 / 83
页数：17
相关论文
共 50 条
  • [1] Partial, Total and General Correctness
    Guttmann, Walter
    MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, 2010, 6120 : 157 - 177
  • [2] Unifying Recursion in Partial, Total and General Correctness
    Guttmann, Walter
    UNIFYING THEORIES OF PROGRAMMING, 2010, 6445 : 207 - 225
  • [3] Lifting general correctness into partial correctness is ok
    Dunne, Steve
    Galloway, Andy
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2007, 4591 : 215 - 232
  • [4] Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics
    Buruiana, Andrei-Sebastian
    Ciobaca, Stefan
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (289): : 1 - 16
  • [5] Reasoning about Loops in Total and General Correctness
    Dunne, Steve E.
    Hayes, Ian J.
    Galloway, Andy J.
    UNIFYING THEORIES OF PROGRAMMING, 2010, 5713 : 62 - +
  • [6] Indexed and fibered structures for partial and total correctness assertions
    Wolter, U. E.
    Martini, A. R.
    Haeusler, E. H.
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2022, 32 (09) : 1145 - 1175
  • [7] SOME GENERAL INCOMPLETENESS RESULTS FOR PARTIAL CORRECTNESS LOGICS
    HORTALAGONZALEZ, MT
    LUCIOCARRASCO, F
    RODRIGUEZARTALEJO, M
    INFORMATION AND COMPUTATION, 1988, 79 (01) : 22 - 42
  • [8] Formal Correctness of a Quadratic Unification Algorithm
    José-Luis Ruiz-Reina
    Francisco-Jesús Martín-Mateos
    José-Antonio Alonso
    María-José Hidalgo
    Journal of Automated Reasoning, 2006, 37 : 67 - 92
  • [9] Formal correctness of a quadratic unification algorithm
    Ruiz-Reina, Jose-Luis
    Martin-Mateos, Francisco-Jesus
    Alonso, Jose-Antonio
    Hidalgo, Maria-Jose
    JOURNAL OF AUTOMATED REASONING, 2006, 37 (1-2) : 67 - 92
  • [10] AXIOMS FOR TOTAL CORRECTNESS
    SOKOLOWSKI, S
    ACTA INFORMATICA, 1977, 9 (01) : 61 - 71
12345