Product Description: The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics.

Product Description: This introduction to programming places computer science in the core of a liberal arts education. Unlike other introductory books, it focuses on the program design process. This approach fosters a variety of skills--critical reading, analytical thinking, creative synthesis, and attention to detail--that are important for everyone, not just future computer programmers...read more (view table of contents, read Amazon.com's description)