Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove properties about them in Isabelle’s structured proof language. Part II is an introduction to the semantics of imperative languages with an emphasis on...

Broad in scope, involving theory, the application of that theory, and programming technology, compiler construction is a moving target, with constant advances in compiler technology taking place. Today, a renewed focus on do-it-yourself programming makes a quality textbook on compilers, that both students and instructors will enjoy using, of...

You'll find complete coverage of Linux...

KEY BENEFIT: Learn the fundamentals of processor and computer design from the newest edition of this award winning text. KEY TOPICS: Introduction; Computer Evolution and Performance; A Top-Level View of Computer Function and Interconnection; Cache Memory; Internal Memory Technology; External Memory; I/O;...

This book provides a comprehensive guide to the design of sustainable and green computing systems (GSC).  Coverage includes important breakthroughs in various aspects of GSC, including multi-core architectures, interconnection technology, data centers, high performance computing (HPC), and sensor networks.  The authors address the...

Vector Models for Data-Parallel Computing describes a model of parallelism that extends and formalizes the Data-Parallel model on which the Connection Machine and other supercomputers are based. It presents many algorithms based on the model, ranging from graph algorithms to numerical algorithms, and argues that data-parallel models...

C++ is a flexible, powerful programming language with hundreds of
thousands of applications. However, the knowledge of how to take
advantage of its full potential comes only with time and experience.
That’s where this book comes in. Think of it as a “cookbook” for solving
your programming...