Preview
Unable to display preview. Download preview PDF.
References
Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman, “Compilers: Principles, Techniques, and Tools”, Addison-Wesley, 1988.
Yuri Gurevich, “Evolving Algebras: An Introductory Tutorial”, Bulletin of European Assocation for Theoretical Computer Science, February 1991. (A slightly updated version will appear in the EATCS Book of Columns, World Scientific Publishers.)
Yuri Gurevich and James K. Huggins, “The Evolving Algebra Semantics of C: Preliminary Version”, CSE-TR-141-92, EECS Department, University of Michigan, 1992.
Brian W. Kernighan and Dennis M. Ritchie, “The C Programming Language”, 2nd edition, Prentice Hall, 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gurevich, Y., Huggins, J.K. (1993). The semantics of the C programming language. In: Börger, E., Jäger, G., Kleine Büning, H., Martini, S., Richter, M.M. (eds) Computer Science Logic. CSL 1992. Lecture Notes in Computer Science, vol 702. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56992-8_17
Download citation
DOI: https://doi.org/10.1007/3-540-56992-8_17
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56992-3
Online ISBN: 978-3-540-47890-4
eBook Packages: Springer Book Archive