A SYSTEM FOR ASSISTING PROGRAM TRANSFORMATION

被引：45

作者：

FEATHER, MS ^{[1
]}

机构：

[1] UNIV EDINBURGH,EDINBURGH EH8 9YL,MIDLOTHIAN,SCOTLAND

来源：

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1982年 / 4卷 / 01期

关键词：

D O I：

10.1145/357153.357154

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：1 / 20

页数：20

共 28 条

[1]

Balzer R., 1976, 2nd International Conference on Software Engineering, P337

[2]

BAUER FL, 1977, TUMINFO7729 TU MUNCH

[3]

BAUER FL, 1977, INFOTECH STATE ART R, P25

[4]

BOYLE JM, 1979, PRACTICE SOFTWARE AD, P3

[5]

Burstall R. M., 1977, SOFTWARE REVOLUTION, P45

[6] TRANSFORMATION SYSTEM FOR DEVELOPING RECURSIVE PROGRAMS [J].

BURSTALL, RM ;

DARLINGTON, J .

[7]

BURSTALL RM, 1980, 1980 C REC LISP C, P136

[8]

DARLINGTON J, 1978, ACTA INFORM, V11, P1, DOI 10.1007/BF00264597

[9] SYSTEM WHICH AUTOMATICALLY IMPROVES PROGRAMS [J].

DARLINGTON, J ;

BURSTALL, RM .

[10] AN EXPERIMENTAL PROGRAM TRANSFORMATION AND SYNTHESIS SYSTEM [J].

DARLINGTON, J .