Contains a treatment of syntax and semantics, and coverage of several complementary semantic methods, with emphasis on using formal specification. There is brie

With this book, readers with a basic grounding in discreet mathematics will be able to understand the practical applications of these difficult concepts. The bo

Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It intro

* Treats LISP as a language for commercial applications, not a language for academic AI concerns. This could be considered to be a secondary text for the Lisp c

Key ideas in programming language design and implementation explained using a simple and concise framework; a comprehensive introduction suitable for use as a t