H ?
«
‹
←
→
›
»
Language peer sets for VAL:
United States↑
United States/1979↑
Designed 1979 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑
VAL(ID:876/val001)
Value-oriented Algorithmic Language
alternate simple view
Country: United States
Designed 1979
Published: 1979
Value-oriented Algorithmic Language. J.B. Dennis, MIT 1979. Single assignment language, designed for MIT dataflow machine. Based on CLU, has iteration and error handling, lacking in recursion and I/O.
Structures:
Related languages
CLU |
→
|
VAL | |
Based on |
Dataflow |
→
|
VAL | |
Evolution of |
VAL |
→
|
SAC | |
Influence |
VAL |
→
|
SISAL | |
Evolution of |
References:
Ackerman, W.B. and Dennis, J.B. (1979) Ackerman, W.B. and Dennis, J.B. "Data flow languages" pp1087-1095
in [AFIPS] (1977) [AFIPS] Proceedings of the 1977 AFIPS National Computer Conference Dallas, Texas, June 13-16, 1977
Ackerman, W.B. and Dennis, J.B. (1979) Ackerman, W.B. and Dennis, J.B. "VAL - A value-oriented algorithmic language: Preliminary reference manual" Tech. Rep. TR-218, Computation Structures Group, LCS, M.I.T., Cambridge, Mass., June 1979.
in [AFIPS] (1977) [AFIPS] Proceedings of the 1977 AFIPS National Computer Conference Dallas, Texas, June 13-16, 1977
Ackerman, W.B. (1980) Ackerman, W.B. "Axiomatic verification in single assignment languages" Computation Structures Group Memo, LCS, M.I.T., Cambridge, Mass., Sept. 1980.
in [AFIPS] (1977) [AFIPS] Proceedings of the 1977 AFIPS National Computer Conference Dallas, Texas, June 13-16, 1977
Gehani, N.H. and Wetherell, C.S. (1980) Gehani, N.H. and Wetherell, C.S. "Denotational semantics for the data flow language VAL" Internal Memo., Bell Laboratories, Murray Hill, N.J., July 1980.
in [AFIPS] (1977) [AFIPS] Proceedings of the 1977 AFIPS National Computer Conference Dallas, Texas, June 13-16, 1977
Kupka, I. and Wilsing, N. (1980) Kupka, I. and Wilsing, N. "Conversational Languages" John Wiley, 1980
in [AFIPS] (1977) [AFIPS] Proceedings of the 1977 AFIPS National Computer Conference Dallas, Texas, June 13-16, 1977
Gao Guang Rong (1982) Gao Guang Rong "An Implementation Scheme of Array Operations
in Static Data Flow Computers" Department of Electrical Engineering and Computer Science MSc 13 May 1982
Abstract
Extract:
VAL
Extract:
The aim of this thesis
in [AFIPS] (1977) [AFIPS] Proceedings of the 1977 AFIPS National Computer Conference Dallas, Texas, June 13-16, 1977
McGraw, James R. (1982) McGraw, James R. "The VAL language: description and analysis"
Abstract
in (1982) TOPLAS 4(1) January 1982
Wetherell, C. S. (1982) Wetherell, C. S. "Error Data Values in the Data-Flow Language VAL."
Abstract
in (1982) TOPLAS 4(2) April 1982
Boehm, APW (1984) Boehm, APW "Dataflow Copmutation", Mathmatisch Centrum, Amsterdam, 1984
Extract:
VAL
in (1982) TOPLAS 4(2) April 1982
Harland, David M. (1984) Harland, David M. "Polymorphic Programming Languages", Ellis Horwood 1984.
in (1982) TOPLAS 4(2) April 1982
Sharp, J.A. (1985) Sharp, J.A. "Data flow computing" Chichester: E. Horwood ; New York : Halsted Press, 1985
Extract:
MIT Dataflow systems: Dataflow, DBFL, Val
Extract:
Id languages
in (1982) TOPLAS 4(2) April 1982
Whiting, Paul G. and Pascoe, Robert S. V. (1994) Whiting, Paul G. and Pascoe, Robert S. V. "A History of Data-Flow Languages" pp38-59
in (1994) Annals of the History of Computing 16(4) Winter 1994
(2002) Dick Grune's Annotated Literature Lists
Extract:
Review of language
in (1994) Annals of the History of Computing 16(4) Winter 1994
Johnston, Wesley M.; Hanna, J. R. Paul and Richard (2004) Johnston, Wesley M.; Hanna, J. R. Paul and Richard J. Millar "Advances in Dataflow Programming Languages" ACM CSUR 36(1) March 2004
Extract:
VAL
Extract:
Introduction
Extract:
Early Dataflow Programming Languages
in (1994) Annals of the History of Computing 16(4) Winter 1994
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE 
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|