LANGUAGE EXTENSION FOR GRAPH PROCESSING AND ITS FORMAL SEMANTICS

被引：5

作者：

PRATT, TW

FRIEDMAN, DP

机构：

来源：

COMMUNICATIONS OF THE ACM | 1971年 / 14卷 / 07期

关键词：

D O I：

10.1145/362619.362627

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：460 / &

共 14 条

[1] REVISED REPORT ON THE ALGORITHMIC LANGUAGE ALGOL-60 [J].

BACKUS, JW ;

BAUER, FL ;

GREEN, J ;

KATZ, C ;

MCCARTHY, J ;

PERLIS, AJ ;

RUTISHAUSER, H ;

SAMELSON, K ;

VAUQUOIS, B ;

WEGSTEIN, JH ;

VANWIJNGAARDEN, A ;

WOODGER, M .

COMMUNICATIONS OF THE ACM, 1963, 6 (01) :1-17

[2] A LANGUAGE FOR TREATING GRAPHS [J].

CRESPIREGHIZZI, S ;

MORPURGO, R .

COMMUNICATIONS OF THE ACM, 1970, 13 (05) :319-+

[3]

FRIEDMAN D, 1968, TNN84 U TEX COMP CTR

[4]

FRIEDMAN D, 1969, N00014680151 ONR CON

[5]

HART R, 1969, GRAPH PROCESSING LAN

[6] A CORRESPONDENCE BETWEEN ALGOL 60 AND CHURCHS LAMBDA-NOTATION .1. [J].

LANDIN, PJ .

COMMUNICATIONS OF THE ACM, 1965, 8 (02) :89-&

[7] A CORRESPONDENCE BETWEEN ALGOL 60 AND CHURCHS LAMBDA-NOTATION .2. [J].

LANDIN, PJ .

COMMUNICATIONS OF THE ACM, 1965, 8 (03) :158-&

[8]

Lucas P., 1968, METHOD NOTATION FORM

[9] PROPERTIES OF PROGRAMS AND FIRST-ORDER PREDICATE CALCULUS [J].

MANNA, Z .

JOURNAL OF THE ACM, 1969, 16 (02) :244-&

[10]

NARASHIMAN R, 1967, ADVANCES COMPUTERS, V8

← 1 2 →