THE CLEAN TERMINATION OF ITERATIVE PROGRAMS

被引：0
|
作者：
BLIKLE, A
机构：
来源：
ACTA INFORMATICA | 1981年 / 16卷 / 02期
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：199 / 217
页数：19
相关论文
共 50 条
  • [1] CLEAN TERMINATION OF PASCAL PROGRAMS
    COLEMAN, D
    HUGHES, JW
    ACTA INFORMATICA, 1979, 11 (03) : 195 - 210
  • [2] Termination of linear programs
    Tiwari, A
    COMPUTER AIDED VERIFICATION, 2004, 3114 : 70 - 82
  • [3] Termination of polynomial programs
    Bradley, AR
    Manna, Z
    Sipma, HB
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2005, 3385 : 113 - 129
  • [4] CYCLIC TERMINATION IN ITERATIVE METHOD
    KLATTE, R
    ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND MECHANIK, 1976, 56 (03): : T298 - T300
  • [5] 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)
  • [6] TUTORIAL ON TERMINATION OF LOGIC PROGRAMS
    DESCHREYE, D
    VERSCHAETSE, K
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 649 : 70 - 88
  • [7] On termination of binary CLP programs
    Serebrenik, A
    Mesnard, F
    LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2005, 3573 : 231 - 244
  • [8] Termination of constraint logic programs
    Ruggieri, S
    AUTOMATA, LANGUAGES AND PROGRAMMING, 1997, 1256 : 838 - 848
  • [9] Termination of integer linear programs
    Braverman, Mark
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2006, 4144 : 372 - 385
  • [10] PROVING TERMINATION OF COMMUNICATING PROGRAMS
    PACZKOWSKI, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 458 : 416 - 426
12345