CORRECT PROGRAMS

被引：0
|
作者：
ALLAN, GJB
机构：
来源：
SOFTWARE-PRACTICE & EXPERIENCE | 1983年 / 13卷 / 08期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：768 / 769
页数：2
相关论文
共 50 条
  • [41] A Coq-based synthesis of Scala programs which are correct-by-construction
    Bakouny, Youssef El
    Crolard, Tristan
    Mezher, Dani
    Proceedings of the 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Co-located with ECOOP 2017, 2017,
  • [42] Formulae meet programs over the net: A framework for correct network aware programming
    Bettini L.
    De Nicola R.
    Loreti M.
    Automated Software Engineering, 2004, 11 (3) : 245 - 288
  • [43] Provably correct inline monitoring for multithreaded Java']Java-like programs
    Dam, Mads
    Jacobs, Bart
    Lundblad, Andreas
    Piessens, Frank
    JOURNAL OF COMPUTER SECURITY, 2010, 18 (01) : 37 - 59
  • [44] Provably correct control flow graphs from Java bytecode programs with exceptions
    Afshin Amighi
    Pedro de Carvalho Gomes
    Dilian Gurov
    Marieke Huisman
    International Journal on Software Tools for Technology Transfer, 2016, 18 : 653 - 684
  • [45] TO CORRECT OR NOT TO CORRECT
    BRUMMITT, RK
    TAYLOR, NP
    TAXON, 1990, 39 (02) : 298 - 306
  • [46] Provably correct control flow graphs from Java']Java bytecode programs with exceptions
    Amighi, Afshin
    Gomes, Pedro de Carvalho
    Gurov, Dilian
    Huisman, Marieke
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2016, 18 (06) : 653 - 684
  • [47] Automatically Patching Vulnerabilities of Binary Programs via Code Transfer From Correct Versions
    Hu, Yikun
    Zhang, Yuanyuan
    Gu, Dawu
    IEEE ACCESS, 2019, 7 : 28170 - 28184
  • [48] Critical areas of national electronic health record programs-Is our focus correct?
    Deutsch, Eva
    Duftschmid, Georg
    Dorda, Wolfgang
    INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS, 2010, 79 (03) : 211 - 222
  • [49] DOES N+1 TIMES PROVE MORE PROGRAMS CORRECT THAN N TIMES
    PASZTOR, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 442 : 373 - 389
  • [50] Estimating the Health and Economic Benefits of Universal Salt Iodization Programs to Correct Iodine Deficiency Disorders
    Gorstein, Jonathan Louis
    Bagriansky, Jack
    Pearce, Elizabeth N.
    Kupka, Roland
    Zimmermann, Michael B.
    THYROID, 2020, 30 (12) : 1802 - 1809
12345