Introduction to the Theory of Programming Languages

The design and implementation of programming languages, from Fortran and Cobol to Caml and Java, has been one of the key developments in the management of ever more complex computerised systems. This text gives the reader the means to discover the tools to think, design and implement these languages.