Abstract
This chapter discusses imperative programming languages, in which the value of a variable may be modified by assignment. We first present a naive imperative language where a variable denotes an updatable store cell, and then present the environment/store model used in real imperative programming languages. Then we show how to evaluate micro-C, a C-style imperative language, using an interpreter, and present the concepts of expression, variable declaration, assignment, loop, output, variable scope, lvalue and rvalue, parameter passing mechanisms, pointer, array, and pointer arithmetics.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Hoare, C.: Hints on programming language design. In: ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages, Boston, MA. ACM, New York (1973)
Kernighan, B.W., Ritchie, D.M.: The C Programming Language, 2nd edn. Prentice-Hall, New York (1988)
Richards, M.: Homepage. At http://www.cl.cam.ac.uk/~mr/
Ritchie, D.M.: Homepage. At http://www.cs.bell-labs.com/who/dmr/
Ritchie, D.M.: The development of the C language. In: Second History of Programming Languages Conference, Cambridge, MA (1993)
Sestoft, P.: Java Precisely. MIT Press, Cambridge (2002)
Strachey, C.: Fundamental concepts in programming languages. High.-Order Symb. Comput. 13, 11–49 (2000). Written 1967 as lecture notes for a summer school
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag London
About this chapter
Cite this chapter
Sestoft, P. (2012). Imperative Languages. In: Programming Language Concepts. Undergraduate Topics in Computer Science, vol 50. Springer, London. https://doi.org/10.1007/978-1-4471-4156-3_7
Download citation
DOI: https://doi.org/10.1007/978-1-4471-4156-3_7
Publisher Name: Springer, London
Print ISBN: 978-1-4471-4155-6
Online ISBN: 978-1-4471-4156-3
eBook Packages: Computer ScienceComputer Science (R0)