Theory of Programming Languages

Issues in the design and implementation of a programming language including type models, control models, parameter passing, and storage management. Formalisms to describe the syntax and semantics of a programming language.