SOUNDNESS AND COMPLETENESS OF A SYNTHESIS ALGORITHM BASED ON EXAMPLE COMPUTATIONS.

被引：0
|
作者：
Bauer, M.A. [1 ]
机构：
[1] Univ of Western Ontario, London,, Ont, Can, Univ of Western Ontario, London, Ont, Can
来源：
Journal of the ACM | 1985年 / 32卷 / 02期
关键词：
All Open Access; Bronze;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
COMPUTER PROGRAMMING
引用
收藏
页码：249 / 279
相关论文
共 50 条
  • [1] SOUNDNESS AND COMPLETENESS OF A SYNTHESIS ALGORITHM BASED ON EXAMPLE COMPUTATIONS
    BAUER, MA
    JOURNAL OF THE ACM, 1985, 32 (02) : 249 - 279
  • [2] Soundness, completeness and non-redundancy of operational semantics for Verilog based on denotational semantics
    Zhu, HB
    Bowen, JP
    He, JF
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 600 - 612
  • [3] Learning based realizability for HA+EM1 and 1-Backtracking games: Soundness and completeness
    Aschieri, Federico
    ANNALS OF PURE AND APPLIED LOGIC, 2013, 164 (06) : 591 - 617
  • [4] Completeness based classification algorithm: a novel approach for educational semantic data completeness assessment
    Akhrif, Ouidad
    Benfaress, Chaymae
    El Jai, Mostapha
    El Idrissi, Youness El Bouzekri
    Hmina, Nabil
    INTERACTIVE TECHNOLOGY AND SMART EDUCATION, 2022, 19 (01) : 87 - 111
  • [5] RING BASED TERMINATION DETECTION ALGORITHM FOR DISTRIBUTED COMPUTATIONS
    ARORA, RK
    RANA, SP
    GUPTA, MN
    MICROPROCESSING AND MICROPROGRAMMING, 1987, 19 (03): : 219 - 226
  • [6] A PRESSURE-BASED ALGORITHM FOR CAVITATING FLOW COMPUTATIONS
    Zhang Ling-xin
    Zhao Wei-guo
    Shao Xue-ming
    JOURNAL OF HYDRODYNAMICS, 2011, 23 (01) : 42 - 47
  • [7] A GENERAL NETWORK BASED SYMMETRIC ALGORITHM FOR DISTRIBUTED COMPUTATIONS
    ARORA, RK
    GUPTA, MN
    JOURNAL OF MICROCOMPUTER APPLICATIONS, 1987, 10 (04): : 297 - 305
  • [8] A Pressure-Based Algorithm for Cavitating Flow Computations
    Ling-xin Zhang
    Wei-guo Zhao
    Xue-ming Shao
    Journal of Hydrodynamics, 2011, 23 : 42 - 47
  • [9] RING BASED TERMINATION DETECTION ALGORITHM FOR DISTRIBUTED COMPUTATIONS
    HALDAR, S
    SUBRAMANIAN, DK
    INFORMATION PROCESSING LETTERS, 1988, 29 (03) : 149 - 153
  • [10] A pressure-based algorithm for cavitating flow computations
    Department of Mechanics, State Key Laboratory of Fluid Power Transmission and Control, Zhejiang University, Hangzhou 310027, China
    J Hydrodyn, 1 (42-47):
12345