Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
7.10 Bibliographical Notes
J. de Bakker: Control Flow Semantics (The MIT Press, Cambridge, Mass., USA, 1995)
C. Gunther: Semantics of Programming Languages (The MIT Press, Cambridge, Mass., USA, 1992)
P.D. Mosses: Action Semantics (Cambridge University Press: Tracts in Theoretical Computer Science, 1992)
J. Reynolds: The Semantics of Programming Languages (Cambridge University Press, 1999)
D.A. Schmidt: Denotational Semantics: a Methodology for Language Development (Allyn & Bacon, 1986)
R. Tennent: The Semantics of Programming Languages (Prentice Hall, 1997)
G. Winskel: The Formal Semantics of Programming Languages (The MIT Press, 1993)
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2006). Semantics. In: Software Engineering 2. Texts in Theoretical Computer Science An EATCS Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-33193-3_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-33193-3_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21150-1
Online ISBN: 978-3-540-33193-3
eBook Packages: Computer ScienceComputer Science (R0)