ON NONDETERMINISTIC PROGRAMS

被引：0
|
作者：
LANDWEHR, CE
机构：
来源：
COMMUNICATIONS OF THE ACM | 1982年 / 25卷 / 04期
关键词：
D O I：
10.1145/358468.383440
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：292 / 292
页数：1
相关论文
共 50 条
  • [41] Event manipulation for nondeterministic shared-memory programs
    Kranzlmüller, D
    Kobler, R
    Volkert, J
    HIGH-PERFORMANCE COMPUTING AND NETWORKING, 2001, 2110 : 283 - 292
  • [42] OPTIMIZING INCREMENTAL COMPUTATION OF DATALOG PROGRAMS WITH NONDETERMINISTIC SEMANTICS
    FABRET, F
    REGNIER, M
    SIMON, E
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 646 : 155 - 170
  • [43] Efficient execution of nondeterministic parallel programs on asynchronous systems
    Aumann, Y
    Bender, MA
    Zhang, L
    INFORMATION AND COMPUTATION, 1997, 139 (01) : 1 - 16
  • [44] Low-deterministic security for low-nondeterministic programs
    Bischof, Simon
    Breitner, Joachim
    Graf, Juergen
    Hecker, Martin
    Mohr, Martin
    Snelting, Gregor
    JOURNAL OF COMPUTER SECURITY, 2018, 26 (03) : 335 - 366
  • [45] Debugging Nondeterministic Failures in Linux Programs through Replay Analysis
    Majeed, Shakaiba
    Ryu, Minsoo
    SCIENTIFIC PROGRAMMING, 2018, 2018
  • [46] Learning Disjunctive Logic Programs from Nondeterministic Interpretation Transitions
    Huang, Yi
    Wang, Yisong
    You, Jia-Huai
    Zhang, Mingyi
    Zhang, Ying
    NEW GENERATION COMPUTING, 2021, 39 (01) : 273 - 301
  • [47] HOARE LOGIC FOR NONDETERMINISTIC REGULAR PROGRAMS - A NONSTANDARD COMPLETENESS THEOREM
    HORTALAGONZALEZ, T
    RODRIGUEZARTALEJO, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 194 : 270 - 280
  • [48] Correction of monitor intrusion for testing nondeterministic MPI-programs
    Kranzlmüller, D
    de Kergommeaux, JC
    Schaubschläger, C
    EURO-PAR'99: PARALLEL PROCESSING, 1999, 1685 : 154 - 158
  • [49] Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq
    Chappe N.
    He P.
    Henrio L.
    Zakowski Y.
    Zdancewic S.
    Proceedings of the ACM on Programming Languages, 2023, 7 : 1770 - 1800
  • [50] Learning Disjunctive Logic Programs from Nondeterministic Interpretation Transitions
    Yi Huang
    Yisong Wang
    Jia-Huai You
    Mingyi Zhang
    Ying Zhang
    New Generation Computing, 2021, 39 : 273 - 301
12345