THE CORRECTNESS OF NONDETERMINISTIC PROGRAMS REVISITED

被引：0
|
作者：
HOLENDERSKI, L
机构：
来源：
INFORMATION PROCESSING LETTERS | 1986年 / 23卷 / 06期
关键词：
D O I：
10.1016/0020-0190(86)90090-6
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：299 / 303
页数：5
相关论文
共 50 条
  • [41] Maintaining correctness in scientific programs
    Dubois, PF
    COMPUTING IN SCIENCE & ENGINEERING, 2005, 7 (03) : 80 - 85
  • [42] INTRODUCTION TO PROVING CORRECTNESS OF PROGRAMS
    HANTLER, SL
    KING, JC
    COMPUTING SURVEYS, 1976, 8 (03) : 331 - 353
  • [43] On Correctness of Normal Logic Programs
    Drabent, Wlodzimierz
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2022), 2022, 13474 : 142 - 154
  • [44] THE TOTAL CORRECTNESS OF PARALLEL PROGRAMS
    FLON, L
    SUZUKI, N
    SIAM JOURNAL ON COMPUTING, 1981, 10 (02) : 227 - 246
  • [45] Parallel Induction of Nondeterministic Finite Automata Revisited
    Jastrzab, Tomasz
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2017 (ICCMSE-2017), 2017, 1906
  • [46] FUNCTIONAL-BEHAVIOR OF NONDETERMINISTIC AND CONCURRENT PROGRAMS
    MAIN, MG
    BENSON, DB
    INFORMATION AND CONTROL, 1984, 62 (2-3): : 144 - 189
  • [47] Workload Characterization of Nondeterministic Programs Parallelized by STATS
    Deiana, Enrico A.
    Campanoni, Simone
    2019 IEEE INTERNATIONAL SYMPOSIUM ON PERFORMANCE ANALYSIS OF SYSTEMS AND SOFTWARE (ISPASS), 2019, : 190 - 201
  • [48] A PROCESS LOGIC FOR NONDETERMINISTIC WHILE-PROGRAMS
    ZILLI, MV
    JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 346 - 346
  • [49] On the hierarchy of nondeterministic branching k-programs
    Okol'nishnikova, EA
    FUNDAMENTALS OF COMPUTATION THEORY, PROCEEDINGS, 1997, 1279 : 376 - 387
  • [50] Good enough testing of nondeterministic parallel programs
    Kranzlmüller, D
    Messner, J
    Schaubschläger, C
    INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PROCEEDINGS, 1999, : 641 - 645
12345