References
Gordon, M.J.C. The Denotational Description of Programming Languages. Springer-Verlag, 1979.
Milne, R.E. and Strachey, C. A Theory of Programming Language Semantics. Chapman & Hall, 1976.
Mosses, P.D. Denotational semantics. In Handbook of Theoretical Computer Science, Vol.B. Elsevier Science Publishers, Amsterdam; and MIT Press, 1990, Ch. 11.
Schmidt, D.A. Denotational Semantics: A Methodology for Language Development. Allyn & Bacon, 1986.
Scott, D.S. Outline of a mathematical theory of computation. In Proc. Fourth Annual Princeton Conference on Information Sciences and Systems, 1970. A revised and slightly expanded version is Tech. Mono. PRG-2, Programming Research Group, University of Oxford, 1970.
Scott, D.S. and Strachey, C. Toward a mathematical semantics for computer languages. Microwave Research Institute Symposia Series, Vol. 21: Proc. Symp. on Computers and Automata. Polytechnic Institute of Brooklyn, 1971.
Stoy, J.E. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. The MIT Press, 1977.
Strachey, C. The varieties of programming language. In Proc. International Computing Symposium, pp. 222-233. Cini Foundation, Venice, 1972. A revised and slightly expanded version is Tech. Mono. PRG-10, Programming Research Group, University of Oxford, 1973.
Tennent, R.D. The denotational semantics of programming languages. Commun. ACM 19 (1976) 437-453.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Mosses, P.D. A Foreword to ‘Fundamental Concepts in Programming Languages’. Higher-Order and Symbolic Computation 13, 7–9 (2000). https://doi.org/10.1023/A:1010048229036
Issue Date:
DOI: https://doi.org/10.1023/A:1010048229036