Preview
Unable to display preview. Download preview PDF.
References
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.
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.
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.
Friedman, D.P., and Wise, D.S. CONS Should Not Evaluate its Arguments. In Automata, Languages, and Programming, unknown, 1976, pp. 257–284.
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.
Kahn, G., and D. MacQueen. Coroutines and Networks of Parallel Processes. Information Processing 77: Proceedings of IFIP Congress 77, August 1977, pp. 993–998.
Weng, K.-S., Stream-Oriented Computation in Recursive Data Flow Schemas. Tech.Rep. TM-68, Laboratory for Computer Science, MIT, Cambridge, Massachusetts, October, 1975
Weng, K.-S., An Abstract Implementation for a Generalized Data Flow Language. Tech.Rep. TR-228, Laboratory for Computer Science, MIT, Cambridge, Massachusetts, 1979.
Author information
Authors and Affiliations
Editor information
Rights 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