REPORT ON THE LARCH SHARED LANGUAGE

被引：38

作者：

GUTTAG, JV ^{[1
]}

HORNING, JJ ^{[1
]}

机构：

[1] DIGITAL EQUIPMENT CORP,SYST RES CTR,PALO ALTO,CA 94301

来源：

关键词：

D O I：

10.1016/0167-6423(86)90021-3

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：103 / 134

页数：32

共 17 条

[1]

Abrial J.-R., 1980, SPECIFICATION LANGUA

[2]

BURSTALL RM, 1977, 5TH P INT JOINT C AR, P1045

[3]

BURSTALL RM, 1981, CORRECTNESS PROBLEM, P185

[4]

EHRIG H, 1982, 9TH P C AUT LANG PRO, P197

[5]

FORGAARD R, 1984, THESIS MIT

[6]

Goguen J.A., 1978, CURRENT TRENDS PROGR, VIV

[7] SOME NOTES ON PUTTING FORMAL SPECIFICATIONS TO PRODUCTIVE USE [J].

GUTTAG, J ;

HORNING, J ;

WING, J .

[8]

GUTTAG J, 1980, P 7 ACM SIGPLAN SIGA, P251

[9]

Guttag J. V., 1975, THESIS U TORONTO

[10]

GUTTAG JV, 1983, P IFIP C 83 PARIS