CORRECT PROGRAMS

被引：0
|
作者：
ALLAN, GJB
机构：
来源：
SOFTWARE-PRACTICE & EXPERIENCE | 1983年 / 13卷 / 08期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：768 / 769
页数：2
相关论文
共 50 条
  • [21] Towards the Generation of Correct Java']Java Programs
    Philippe, Jolan
    Loulergue, Frederic
    PROCEEDINGS 2018 INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING & SIMULATION (HPCS), 2018, : 1055 - 1056
  • [22] COMPACT CODING OF SYNTACTICALLY CORRECT SOURCE PROGRAMS
    CONTLA, JF
    SOFTWARE-PRACTICE & EXPERIENCE, 1985, 15 (07): : 625 - 636
  • [23] On the design of a correct freeness analysis for logic programs
    Codish, M
    Dams, D
    File, G
    Bruynooghe, M
    JOURNAL OF LOGIC PROGRAMMING, 1996, 28 (03): : 181 - 206
  • [24] Developing correct and efficient logic programs by transformation
    Pettorossi, A
    Proietti, M
    KNOWLEDGE ENGINEERING REVIEW, 1996, 11 (04): : 347 - 360
  • [25] Provably Correct Automatic Subdifferentiation for Qualified Programs
    Kakade, Sham M.
    Lee, Jason D.
    ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 31 (NIPS 2018), 2018, 31
  • [26] CORRECT AND OPTIMAL STRATEGIES IN GAME PLAYING PROGRAMS
    BRAMER, MA
    COMPUTER JOURNAL, 1980, 23 (04): : 347 - 352
  • [27] EFFICIENT AND CORRECT EXECUTION OF PARALLEL PROGRAMS THAT SHARE MEMORY
    SHASHA, D
    SNIR, M
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1988, 10 (02): : 282 - 312
  • [28] Model Checking Driven Heuristic Search for Correct Programs
    Katz, Gal
    Peled, Doron
    MODEL CHECKING AND ARTIFICIAL INTELLIGENCE, 2009, 5348 : 122 - 131
  • [29] COMPACT CODING OF SYNTACTICALLY CORRECT SOURCE PROGRAMS.
    Contla, Jose Felipe
    Software - Practice and Experience, 1985, 15 (07) : 625 - 636
  • [30] Correct-schema-guided synthesis of steadfast programs
    Flener, P
    Lau, KK
    Ornaghi, M
    AUTOMATED SOFTWARE ENGINEERING, 12TH IEEE INTERNATIONAL CONFERENCE, PROCEEDINGS, 1997, : 153 - 160
12345