Skip to main content
Springer Nature Link
Log in

A Foreword to ‘Fundamental Concepts in Programming Languages’

  • Published:
Save article
View saved research
Higher-Order and Symbolic Computation

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

Access this article

Log in via an institution

References

  1. Gordon, M.J.C. The Denotational Description of Programming Languages. Springer-Verlag, 1979.

  2. Milne, R.E. and Strachey, C. A Theory of Programming Language Semantics. Chapman & Hall, 1976.

  3. Mosses, P.D. Denotational semantics. In Handbook of Theoretical Computer Science, Vol.B. Elsevier Science Publishers, Amsterdam; and MIT Press, 1990, Ch. 11.

    Google Scholar 

  4. Schmidt, D.A. Denotational Semantics: A Methodology for Language Development. Allyn & Bacon, 1986.

  5. 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.

  6. 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.

  7. Stoy, J.E. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. The MIT Press, 1977.

  8. 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.

  9. Tennent, R.D. The denotational semantics of programming languages. Commun. ACM 19 (1976) 437-453.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. BRICS & Department of Computer Science, University of Aarhus, Ny Munkegade, B.540, DK-8000, Aarhus C, Denmark

    Peter D. Mosses

Authors
  1. Peter D. Mosses
    View author publications

    Search author on:PubMed Google Scholar

Rights and permissions

Reprints 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

Download citation

  • Issue date:

  • DOI: https://doi.org/10.1023/A:1010048229036

Keywords