Semantics Of Programming Languages

Organized around analysis of three languages - the simple imperative language of while commands, a simple applicative language based on the typed lambda calculu... » 

Organized around analysis of three languages - the simple imperative language of while commands, a simple applicative language based on the typed lambda calculus, and an Algol-like language, the text discusses syntactic and semantic methods appropriate to typed languages. «