CLEAN TERMINATION OF PASCAL PROGRAMS

被引：3

作者：

COLEMAN, D

HUGHES, JW

机构：

来源：

关键词：

D O I：

10.1007/BF00289066

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：195 / 210

页数：16

共 50 条

[1] THE CLEAN TERMINATION OF ITERATIVE PROGRAMS
BLIKLE, A
ACTA INFORMATICA, 1981, 16 (02) : 199 - 217
[2] ANIMATING PASCAL PROGRAMS ON MICROCOMPUTERS
NEELAMKAVIL, F
BEARE, L
MICROPROCESSING AND MICROPROGRAMMING, 1990, 26 (05): : 331 - 337
[3] STYLE ANALYSIS OF PASCAL PROGRAMS
MEEKINGS, BAE
SIGPLAN NOTICES, 1983, 18 (09): : 45 - 54
[4] A CONTEXTUAL ANALYSIS OF PASCAL PROGRAMS
COOK, RP
LEE, I
SOFTWARE-PRACTICE & EXPERIENCE, 1982, 12 (02): : 195 - 203
[5] A NOTE ON METRICS OF PASCAL PROGRAMS
DAVIES, G
TAN, A
SIGPLAN NOTICES, 1987, 22 (08): : 39 - 44
[6] SOME COMMON PASCAL PROGRAMS
DERRY, J
MICROCOMPUTING, 1983, 7 (05): : 126 - 126
[7] BUG ANALYSIS OF PASCAL PROGRAMS
ANJANEYULU, KSR
SIGPLAN NOTICES, 1994, 29 (04): : 15 - 22
[8] Termination of linear programs
Tiwari, A
COMPUTER AIDED VERIFICATION, 2004, 3114 : 70 - 82
[9] Termination of polynomial programs
Bradley, AR
Manna, Z
Sipma, HB
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2005, 3385 : 113 - 129
[10] A PROTOTYPE SYSTEM FOR THE VALIDATION OF PASCAL PROGRAMS
WILKINSON, PT
BOUCHARD, JA
BYRNE, BA
HENNELL, MA
JACKSON, P
ONEILL, G
PARKIN, GI
WICHMANN, BA
SOFTWARE ENGINEERING JOURNAL, 1988, 3 (02): : 47 - 52