PROVING PROGRAMS TO BE CORRECT

被引：0
|
作者：
KING, JC
机构：
来源：
COMPUTER | 1971年 / 4卷 / 01期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：44 / &
相关论文
共 50 条
  • [41] Proving Simulink Block Diagrams Correct via Refinement
    Zhang, Wei
    Sun, Quan
    Wang, Chao
    Liu, Zhiming
    Wireless Communications and Mobile Computing, 2022, 2022
  • [42] Proving Optimizations Correct using Parameterized Program Equivalence
    Kundu, Sudipta
    Tatlock, Zachary
    Lerner, Sorin
    PLDI'09 PROCEEDINGS OF THE 2009 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2009, : 327 - 337
  • [43] Knowledge for Obtaining Distributed Implementations and Proving Them Correct
    Graf, Susanne
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (156): : 1 - 1
  • [44] MORE ON ADVICE ON STRUCTURING COMPILERS AND PROVING THEM CORRECT
    THATCHER, JW
    WAGNER, EG
    WRIGHT, JB
    THEORETICAL COMPUTER SCIENCE, 1981, 15 (03) : 223 - 249
  • [45] Proving Optimizations Correct using Parameterized Program Equivalence
    Kundu, Sudipta
    Tatlock, Zachary
    Lerner, Sorin
    ACM SIGPLAN NOTICES, 2009, 44 (06) : 327 - 337
  • [46] A Retrospective of Proving the Correctness of Multiprocess Programs
    Lamport, Leslie
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2025, 51 (03) : 713 - 716
  • [47] METHODOLOGY FOR PROVING THE TERMINATION OF LOGIC PROGRAMS
    WANG, B
    SHYAMASUNDAR, RK
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 480 : 214 - 227
  • [48] Proving Termination of Programs Automatically with AProVE
    Giesl, Juergen
    Brockschmidt, Marc
    Emmes, Fabian
    Frohn, Florian
    Fuhs, Carsten
    Otto, Carsten
    Pluecker, Martin
    Schneider-Kamp, Peter
    Stroeder, Thomas
    Swiderski, Stephanie
    Thiemann, Rene
    AUTOMATED REASONING, IJCAR 2014, 2014, 8562 : 184 - 191
  • [49] PROVING LIVENESS PROPERTIES OF CONCURRENT PROGRAMS
    OWICKI, S
    LAMPORT, L
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1982, 4 (03): : 455 - 495
  • [50] Proving Termination of C Programs with Lists
    Hensel, Jera
    Giesl, Juergen
    AUTOMATED DEDUCTION, CADE 29, 2023, 14132 : 266 - 285
12345