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 条
  • [21] INTEGRATING LIBRARY MODULES INTO PASCAL PROGRAMS
    ANCONA, M
    DEFLORIANI, L
    DODERO, G
    MANCOSU, S
    SOFTWARE-PRACTICE & EXPERIENCE, 1984, 14 (05): : 401 - 412
  • [22] A SYSTEM FOR VISIBLE EXECUTION OF PASCAL PROGRAMS
    HILLE, RF
    HIGGINBOTTOM, TF
    AUSTRALIAN COMPUTER JOURNAL, 1983, 15 (02): : 76 - 77
  • [23] Termination and Universal Termination Problems for Nondeterministic Quantum Programs
    Xu, Ming
    Fu, Jianling
    Jiang, Hui
    Deng, Yuxin
    Li, Zhi-bin
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2024, 33 (08)
  • [24] TUTORIAL ON TERMINATION OF LOGIC PROGRAMS
    DESCHREYE, D
    VERSCHAETSE, K
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 649 : 70 - 88
  • [25] Termination of constraint logic programs
    Ruggieri, S
    AUTOMATA, LANGUAGES AND PROGRAMMING, 1997, 1256 : 838 - 848
  • [26] On termination of binary CLP programs
    Serebrenik, A
    Mesnard, F
    LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2005, 3573 : 231 - 244
  • [27] Termination of integer linear programs
    Braverman, Mark
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2006, 4144 : 372 - 385
  • [28] PROVING TERMINATION OF COMMUNICATING PROGRAMS
    PACZKOWSKI, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 458 : 416 - 426
  • [29] Termination of Nondeterministic Probabilistic Programs
    Fu, Hongfei
    Chatterjee, Krishnendu
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2019, 2019, 11388 : 468 - 490
  • [30] Termination of nondeterministic quantum programs
    Li, Yangjia
    Yu, Nengkun
    Ying, Mingsheng
    ACTA INFORMATICA, 2014, 51 (01) : 1 - 24
12345