Preview
Unable to display preview. Download preview PDF.
References
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.
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.
SCOTT, D.S. Data Types as Lattices. Proc. Logic Conf., Kiel, 1974, Lect.Notes 499, pp.579–651, Springer-Verlag, 1976.
MOSSES, P.D. Mathematical Semantics and Compiler Generation. D. Phil. Thesis, Univ. of Oxford, 1975.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1976 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mosses, P.D. (1976). Compiler generation using denotational semantics. In: Mazurkiewicz, A. (eds) Mathematical Foundations of Computer Science 1976. MFCS 1976. Lecture Notes in Computer Science, vol 45. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07854-1_211
Download citation
DOI: https://doi.org/10.1007/3-540-07854-1_211
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07854-8
Online ISBN: 978-3-540-38169-3
eBook Packages: Springer Book Archive