KNOWLEDGE-BASED PROGRAMMING - A SURVEY OF PROGRAM DESIGN AND CONSTRUCTION TECHNIQUES

被引：13

作者：

GOLDBERG, AT ^{[1
]}

机构：

[1] UNIV CALIF SANTA CRUZ,DEPT COMP & INFORMAT SCI,SANTA CRUZ,CA 95064

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1986年 / 12卷 / 07期

关键词：

D O I：

10.1109/TSE.1986.6312977

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：752 / 768

页数：17

共 49 条

[1]

Aho A.V., 1983, DATA STRUCTURES ALGO

[2] SOME TECHNIQUES FOR RECURSION REMOVAL FROM RECURSIVE FUNCTIONS [J].

ARSAC, J ;

KODRATOFF, Y .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1982, 4 (02) :295-322

[3] TRANSFORMATIONAL IMPLEMENTATION - AN EXAMPLE [J].

BALZER, R .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1981, 7 (01) :3-14

[4]

BALZER R, 1983, COMPUTER

[5] PROGRAMMING IN A WIDE SPECTRUM LANGUAGE - A COLLECTION OF EXAMPLES [J].

BAUER, FL ;

BROY, M ;

DOSCH, W ;

GNATZ, R ;

KRIEGBRUCKNER, B ;

LAUT, A ;

LUCKMANN, M ;

MATZNER, T ;

MOLLER, B ;

PARTSCH, H ;

PEPPER, P ;

SAMELSON, K ;

STEINBRUGGEN, R ;

WIRSING, M ;

WOSSNER, H .

SCIENCE OF COMPUTER PROGRAMMING, 1981, 1 (1-2) :73-114

[6]

BELLEGARDE F, 1984, P ACM C LISP FUNCTIO

[7]

BIRD RS, 1984, ACM T PROGR LANG SYS, V6, P487, DOI 10.1145/1780.1781

[8]

BIRD RS, 1980, COMPUT SURV, V12, P403, DOI 10.1145/356827.356831

[9]

BOYLE J, 1984, IEEE T SOFTWARE ENG, V7, P574

[10] COMBINING ALGEBRAIC AND ALGORITHMIC REASONING - AN APPROACH TO THE SCHORR-WAITE ALGORITHM [J].

BROY, M ;

PEPPER, P .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1982, 4 (03) :362-381

← 1 2 3 4 5 →