A COMPOSITIONAL APPROACH TO MULTIPARADIGM PROGRAMMING

被引：17

作者：

ZAVE, P

机构：

来源：

关键词：

D O I：

10.1109/52.35586

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：15 / 25

页数：11

共 10 条

[1]

[Anonymous], AWK PROGRAMMING LANG

[2]

BROOKS FP, 1987, COMPUTER APR, P10

[3]

HAYES R, 1987, IEEE T SOFTWARE ENG, P1254

[4]

Hoare C.A.R., 1985, COMMUNICATING SEQUEN

[5]

HOLZMANN G, 1988, SOFTWARE PRACTIC FEB, P137

[6]

JACKSON M, 1987, J INFORMATION TE JUN, P72

[7]

MCILROY D, 1986, COMM ACM JUN, P478

[8]

REISS SP, 1987, IEEE SOFTWARE NOV, P16

ZAVE, P ;

SCHELL, W .

[10]

1986, IEEE SOFTWARE JAN, P10