Compiler generation using denotational semantics

  • P. D. Mosses
Part of the Lecture Notes in Computer Science book series (LNCS, volume 45)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    MOSSES, P.D. The Semantics of Semantic Equations. Proc.Symp. on Math.Found.Comp.Sci., Jadwisin, 1974, Lect.Notes Comput.Sci. 28, pp. 409–422, Springer-Verlag, 1975.Google Scholar
  2. [2]
    SCOTT, D.S.; STRACHEY, C. Toward a Mathematical Semantics for Computer Languages. Proc.Symp. on Comput. and Automata, Poly.Inst.Brooklyn, 1971; Tech.Mono. PRG-6, Oxford Univ.Comput.Lab., 1971.Google Scholar
  3. [3]
    SCOTT, D.S. Data Types as Lattices. Proc. Logic Conf., Kiel, 1974, Lect.Notes 499, pp.579–651, Springer-Verlag, 1976.Google Scholar
  4. [4]
    MOSSES, P.D. Mathematical Semantics and Compiler Generation. D. Phil. Thesis, Univ. of Oxford, 1975.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1976

Authors and Affiliations

  • P. D. Mosses
    • 1
  1. 1.Programming Research GroupOxford University Computing LaboratoryOxfordEngland

Personalised recommendations