Advertisement

An operational semantics for a language with early completion data structures

  • Jack B. Dennis
Communications
Part of the Lecture Notes in Computer Science book series (LNCS, volume 107)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Ackerman, W.B. and Dennis, J. B. VAL-A Value Oriented Language. Tech.Rep. TR-218, Laboratory for Computer Science, MIT, Cambridge, Massachusetts, December, 1978.Google Scholar
  2. 2.
    Arvind, K.P. Gostelow, and W. Plouffe. An Asynchronous Programming Language and Computing Machine. Tech.Rep. TR-114a, Department of Information and Computer Science, University of California-Irvine, Irvine, California, December, 1978.Google Scholar
  3. 3.
    Dennis, J.B. First Version of a Data Flow Procedure Language. In Programming Symposium: Proceedings, Colloque sur la Programmation, B. Rodiner, Ed., Springer-Verlag, Lecture Notes in Computer Science, Vol 19, 1974, pp. 362–376.Google Scholar
  4. 4.
    Friedman, D.P., and Wise, D.S. CONS Should Not Evaluate its Arguments. In Automata, Languages, and Programming, unknown, 1976, pp. 257–284.Google Scholar
  5. 5.
    Henderson, D.A. The Binding Model: A Semantic Base for Modular Programming Semantics. Tech.Rep. TR-145, Laboratory for Computer Science, MIT, Cambridge, Massachusetts, February, 1975.Google Scholar
  6. 6.
    Kahn, G., and D. MacQueen. Coroutines and Networks of Parallel Processes. Information Processing 77: Proceedings of IFIP Congress 77, August 1977, pp. 993–998.Google Scholar
  7. 7.
    Weng, K.-S., Stream-Oriented Computation in Recursive Data Flow Schemas. Tech.Rep. TM-68, Laboratory for Computer Science, MIT, Cambridge, Massachusetts, October, 1975Google Scholar
  8. 8.
    Weng, K.-S., An Abstract Implementation for a Generalized Data Flow Language. Tech.Rep. TR-228, Laboratory for Computer Science, MIT, Cambridge, Massachusetts, 1979.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • Jack B. Dennis
    • 1
  1. 1.Laboratory for Computer ScienceMassachusetts Institute of TechnologyCambridge

Personalised recommendations