The VAL Language: Description and Analysis

This publication has 12 references indexed in Scilit:

• Can programming be liberated from the von Neumann style?
  Communications of the ACM, 1978
• The architecture and system method of DDM1
  Published by Association for Computing Machinery (ACM) ,1978
• Parallelism, control and synchronization expression in a single assignment language
  ACM SIGPLAN Notices, 1978
• Petri Nets
  ACM Computing Surveys, 1977
• Lucid, a nonprocedural language with iteration
  Communications of the ACM, 1977
• Parallel Algorithms for Adaptive Quadrature. III. Program Correctness
  ACM Transactions on Mathematical Software, 1976
• The programming language Concurrent Pascal
  IEEE Transactions on Software Engineering, 1975
• Glypnir—a programming language for Illiac IV
  Communications of the ACM, 1975
• Monitors
  Communications of the ACM, 1974
• Recursive functions of symbolic expressions and their computation by machine, Part I
  Communications of the ACM, 1960