Advertisement

Compiler generation using denotational semantics

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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