ON THE ALGEBRAIC DEFINITION OF PROGRAMMING-LANGUAGES

被引：36

作者：

BROY, M ^{[1
]}

WIRSING, M ^{[1
]}

PEPPER, P ^{[1
]}

机构：

[1] TECH UNIV BERLIN,INST ANGEW INFORMAT,D-1000 BERLIN 10,FED REP GER

来源：

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1987年 / 9卷 / 01期

关键词：

D O I：

10.1145/9758.10501

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：54 / 99

页数：46

共 42 条

[1]

Bauer F.L., 1982, ALGORITHMIC LANGUAGE

[2]

BAUER FL, 1985, LECTURE NOTES COMPUT, V183

[3]

BERGSTRA JA, 1979, CWI2479 MATH CTR REP

[4]

BERTONI A, 1979, EATCS B, V9, P47

[5]

Birkhoff G., 1970, J COMBINATORIAL THEO, V8, P115, DOI DOI 10.1016/S0021-9800(70)80014-X

[6]

Birkhoff Garrett, 1967, AMS C PUBLICATIONS, VXXV

[7] TRANSFORMATIONAL SEMANTICS FOR CONCURRENT PROGRAMS [J].

BROY, M .

[8]

BROY M, 1983, RAIRO-INF THEOR APPL, V17, P137

[9] PARTIAL ABSTRACT TYPES [J].

BROY, M ;

WIRSING, M .

[10]

BROY M, 1980, EATCS B, V11, P34