APPLICATIONS OF SYMBOLIC EVALUATION

被引：33

作者：

CLARKE, LA ^{[1
]}

RICHARDSON, DJ ^{[1
]}

机构：

[1] UNIV MASSACHUSETTS, DEPT COMP & INFORMAT SCI, AMHERST, MA 01003 USA

来源：

关键词：

D O I：

10.1016/0164-1212(85)90004-4

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：15 / 35

页数：21

共 74 条

[1]

BALZER RM, AFIPS C P, V34, P576

[2]

BECKMAN L, 1976, ARTIFICIAL INTELLIGE, V7

[3]

BOGEN R, 1975, MACSYMA REFERENCE MA

[4]

Boyer R.S., 1979, ACM MONOGRAPH SERIES

[5]

BOYER RS, 1975, APR P INT C REL SOFT, P234

[6]

BROWN WS, 1973, ALTRAN USERS MANUAL, V1

[7]

BUDD TA, 1983, 838 U AR DEP COMP SC

[8] SYMBOLIC EVALUATION AND THE ANALYSIS OF PROGRAMS [J].

CHEATHAM, TE ;

HOLLOWAY, GH ;

TOWNLEY, JA .

[9]

Clarke L. A., 1981, Computer Program Testing. Proceedings of the Summer School on Computer Program Testing, P65

[10]

Clarke L. A., 1976, IEEE Transactions on Software Engineering, VSE-2, P215, DOI 10.1109/TSE.1976.233817