THE VAL LANGUAGE - DESCRIPTION AND ANALYSIS

被引：49

作者：

MCGRAW, JR ^{[1
]}

机构：

[1] UNIV CALIF DAVIS,DAVIS,CA 95616

来源：

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1982年 / 4卷 / 01期

关键词：

D O I：

10.1145/357153.357157

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：44 / 82

页数：39

共 54 条

[1]

ACKERMAN WB, 1979, TR218 MIT LAB COMP S

[2]

ACKERMAN WB, 1980, AXIOMATIC VERIFICATI

[3]

Adams D. A., 1968, CS117 STANF U COMP S

[4]

ALLAN SJ, 1979, 1979 P INT C PAR PRO, P26

[5]

ARVIND, 1979, COMPUTATION STRUCTUR, V178

[6]

ARVIND, 1978, TR114A U CAL IRV DEP

[7] LUCID, A NON-PROCEDURAL LANGUAGE WITH ITERATION [J].

ASHCROFT, EA ;

WADGE, WW .

BACKUS, J .

[9]

BOEKELHEIDE K, 1979, FEB P WORKSH DAT DRI

[10]

BROCK JD, 1979, 1979 P INT C PAR PRO, P46