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