PROVING PROGRAMS TO BE CORRECT

被引：0
|
作者：
KING, JC
机构：
来源：
COMPUTER | 1971年 / 4卷 / 01期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：44 / &
相关论文
共 50 条
  • [21] Proving MCAPI Executions Are Correct using SMT
    Huang, Yu
    Mercer, Eric
    McCarthy, Jay
    2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2013, : 26 - 36
  • [22] PROVING TERMINATION OF COMMUNICATING PROGRAMS
    PACZKOWSKI, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 458 : 416 - 426
  • [23] Proving Highly-Concurrent Traversals Correct
    Feldman, Yotam M. Y.
    Khyzha, Artem
    Enea, Constantin
    Morrison, Adam
    Nanevski, Aleksandar
    Rinetzky, Noam
    Shoham, Sharon
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (OOPSLA):
  • [24] Proving Concurrent Constraint Programming Correct, Revisited
    Olarte, Carlos
    Pimentel, Elaine
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2015, 312 : 179 - 195
  • [25] Strand spaces: proving security protocols correct
    MITRE Corp, Bedford, MA, United States
    J Computer Secur, 2 (191-230):
  • [26] Proving termination of GHC programs
    Krishna Rao M.R.K.
    Kapur D.
    Shyamasundar R.K.
    New Generation Computing, 1997, 15 (3) : 293 - 338
  • [27] SPECIFICATION AND PROVING OF COMMAND PROGRAMS
    NEUHOLD, EJ
    WELLER, T
    ACTA INFORMATICA, 1976, 6 (01) : 15 - 40
  • [28] Proving the equivalence of CLP programs
    Craciunescu, S
    LOGICS PROGRAMMING, PROCEEDINGS, 2002, 2401 : 287 - 301
  • [29] On Proving Continuity of Programs Response
    Chaudhuri, Swarat
    Gulwani, Sumit
    COMMUNICATIONS OF THE ACM, 2012, 55 (11) : 9 - 9
  • [30] Proving that Programs Are Differentially Private
    McIver, Annabelle
    Morgan, Carroll
    PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2019, 2019, 11893 : 3 - 18
12345