CLEAN TERMINATION OF PASCAL PROGRAMS

被引：3

作者：

COLEMAN, D

HUGHES, JW

机构：

来源：

关键词：

D O I：

10.1007/BF00289066

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：195 / 210

页数：16

共 50 条

[41] AUTOMATIC ASSESSMENT AIDS FOR PASCAL PROGRAMS - RATS
HANNEMYR, G
SIGPLAN NOTICES, 1983, 18 (04): : 16 - 18
[42] POLYNOMIAL RECURSION ANALYSIS IN PASCAL LIKE PROGRAMS
ARMBRUSTER, D
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 526 : 447 - 458
[43] DETECTING PLAGIARISM IN STUDENT PASCAL PROGRAMS.
Jankowitz, H.T.
Computer Journal, 1988, 31 (01): : 1 - 8
[44] VERIFICATION OF FILE MANIPULATION PROGRAMS IN THE LANGUAGE PASCAL
NEPOMNYASHCHII, VA
PROGRAMMING AND COMPUTER SOFTWARE, 1981, 7 (02) : 91 - 98
[45] SUCCESSFUL PASCAL PROGRAMS STRESS EASY PORTABILITY
HEMINGWAY, C
EDN MAGAZINE-ELECTRICAL DESIGN NEWS, 1984, 29 (03): : 205 - 215
[46] RAILROAD PROGRAMS FOR CLEAN CARS
VANSLYKE, WH
FOOD AND DRUG LAW JOURNAL, 1974, 29 (10): : 519 - 526
[47] PROVING PROPERTIES OF PASCAL PROGRAMS IN MIZAR-2
RUDNICKI, P
DRABENT, W
ACTA INFORMATICA, 1985, 22 (03) : 311 - 331
[48] Termination of well-moded programs
Univ of Maastricht, Maastricht, Netherlands
J Logic Program, 2 (243-257):
[49] Termination Analysis of linear Loop Programs
Yu, Wei
Zhao, Xiaoyan
ICICTA: 2009 SECOND INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTATION TECHNOLOGY AND AUTOMATION, VOL IV, PROCEEDINGS, 2009, : 677 - +
[50] Proving Termination of C Programs with Lists
Hensel, Jera
Giesl, Juergen
AUTOMATED DEDUCTION, CADE 29, 2023, 14132 : 266 - 285