A foreword to 'fundamental concepts in programming languages'

Higher-Order and Symbolic Computation

Volumn 13, Issue 1-2, 2000, Pages 7-9

  Mosses, Peter D ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33645112888     PISSN: 13883690     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1010048229036     Document Type: Article

References (9)

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