Skip to main content
SpringerLink
Log in
Book cover

International Colloquium on the Formalization of Programming Concepts

ICFPC 1981: Formalization of Programming Concepts pp 260–267Cite as

An operational semantics for a language with early completion data structures

  • Communications
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 107))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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. 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. 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. 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. 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. Weng, K.-S., Stream-Oriented Computation in Recursive Data Flow Schemas. Tech.Rep. TM-68, Laboratory for Computer Science, MIT, Cambridge, Massachusetts, October, 1975

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Laboratory for Computer Science, Massachusetts Institute of Technology, 02139, Cambridge, Massachusetts

    Jack B. Dennis

Authors
  1. Jack B. Dennis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. Díaz I. Ramos

Rights and permissions

Reprints and permissions

Copyright information

© 1981 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dennis, J.B. (1981). An operational semantics for a language with early completion data structures. In: Díaz, J., Ramos, I. (eds) Formalization of Programming Concepts. ICFPC 1981. Lecture Notes in Computer Science, vol 107. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10699-5_103

Download citation

  • DOI: https://doi.org/10.1007/3-540-10699-5_103

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10699-9

  • Online ISBN: 978-3-540-38654-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation