CLEAN TERMINATION OF PASCAL PROGRAMS

被引：3
|
作者：
COLEMAN, D
HUGHES, JW
机构：
来源：
ACTA INFORMATICA | 1979年 / 11卷 / 03期
关键词：
D O I：
10.1007/BF00289066
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：195 / 210
页数：16
相关论文
共 50 条
  • [31] Termination analysis of logic programs
    Serebrenik, A
    LOGIC PROGRAMMING, PROCEEDINGS, 2003, 2916 : 507 - 508
  • [32] ∃-Universal termination of logic programs
    Ruggieri, S
    THEORETICAL COMPUTER SCIENCE, 2001, 254 (1-2) : 273 - 296
  • [33] Termination of nondeterministic quantum programs
    Yangjia Li
    Nengkun Yu
    Mingsheng Ying
    Acta Informatica, 2014, 51 : 1 - 24
  • [34] TERMINATION OF PROBABILISTIC CONCURRENT PROGRAMS
    HART, S
    SHARIR, M
    PNUELI, A
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1983, 5 (03): : 356 - 380
  • [35] STRONG TERMINATION OF LOGIC PROGRAMS
    BEZEM, M
    JOURNAL OF LOGIC PROGRAMMING, 1993, 15 (1-2): : 79 - 97
  • [36] Proving termination of GHC programs
    Rao, MRKK
    Kapur, D
    Shyamasundar, RK
    NEW GENERATION COMPUTING, 1997, 15 (03) : 293 - 338
  • [37] Proving termination of GHC programs
    Krishna Rao M.R.K.
    Kapur D.
    Shyamasundar R.K.
    New Generation Computing, 1997, 15 (3) : 293 - 338
  • [38] On termination of meta-programs
    Serebrenik, A
    De Schreye, D
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2005, 5 : 355 - 390
  • [39] RESTRUCTURING PASCAL PROGRAMS CONTAINING GOTO STATEMENTS
    WILLIAMS, MH
    CHEN, G
    COMPUTER JOURNAL, 1985, 28 (02): : 134 - 137
  • [40] Early size prediction for C and PASCAL programs
    Lokan, CJ
    JOURNAL OF SYSTEMS AND SOFTWARE, 1996, 32 (01) : 65 - 72
12345