A new edition of the essential text and professional reference, with substantial newmaterial on such topics as vEB trees, multithreaded algorithms, dynamic programming, and edge-baseflow.
This book provides the first comprehensive introduction to Dynamic Logic. Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly
Includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design
The Structure of Typed Programming Languages describes the fundamental syntactic andsemantic features of modern programming languages, carefully spelling out their impacts on languagedesign. Using cla
Concurrent Constraint Programming introduces a new and rich class of programming languages based on the notion of computing with partial information, or constraints, that synthesize and extend work on
A completely revised edition, offering new design recipes for interactive programs and support for images as plain values, testing, event-driven programming, and even distributed programming.This intr
Within the field of logic programming there have been numerous attempts to transform grammars into logic programs. This book describes a complementary approach that views logic programs as grammars an
Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It introduces the mathematical theory of program
"In recent years Aharon Katchalsky became deeply interested in the theory of dynamic patterns, dissipative structures, and other nonequilibrium phenomena because of their significance for theoretical
Addressed to readers at different levels of programming expertise, The Practice of Prolog offers a departure from current books that focus on small programming examples requiring additional instructio
In recent years, object-oriented programming has emerged as the dominant computer programming style, and object-oriented languages such as C++ and Java enjoy wide use in academia and industry. This te
This series is for people—adults and teenagers—who are interested in computer programming because it's fun. The three volumes use the Logo programming language as the vehicle for an exploration of com
This series is for people—adults and teenagers—who are interested in computer programming because it's fun. The three volumes use the Logo programming language as the vehicle for an exploration of com
This series is for people—adults and teenagers—who are interested in computer programming because it's fun. The three volumes use the Logo programming language as the vehicle for an explo
A study of the labor market integration of highly skilled Soviet immigrants to Israel that formulates dynamic models of job search and human capital investment. After the collapse of the Soviet Unio
Recursive methods offer a powerful approach for characterizing and solvingcomplicated problems in dynamic macroeconomics. Recursive Macroeconomic Theoryprovides both an introduction to recursive metho
Designed for undergraduates, An Introduction to High-Performance Scientific Computing assumes a basic knowledge of numerical computation and proficiency in Fortran or C programming and can be used in
The Formal Semantics of Programming Languages provides the basic mathematicaltechniques necessary for those who are beginning a study of the semantics and logics of programminglanguages. These techniq
Animation provides a rich environment for actively exploring algorithms. Multiple, dynamic, graphical displays of an algorithm reveal properties that might otherwise be difficult to comprehend or even
A book on human communication that is worthy of its subject must introduce the readerto the dynamic interaction of a number of diverse fields. Colin Cherry's book, over successiveeditions, has served
The research reported in this book fulfills both a general and a specific purpose. Linear programming models are developed in order to improve the process of planning for economic development, both sh
This book presents in detail a pair of models of the economics of climate change. The models, called RICE-99 (for the Regional Dynamic Integrated model of Climate and the Economy) and DICE-99 (for the
Foreword by Bjarne Stroustrup Software is generally acknowledged to be the single greatest obstacle preventing mainstream adoption of massively-parallel computing. While sequential applications are ro
This book brings together the most important contributions to its development to date, focusing in particular on how advances in type systems and semantic models can contribute to new language designs
At the heart of medical history is a deep enigma.The true structure and workings ofthe human body are, we casually assume, everywhere the same, a universal reality. But then we lookinto the past, and
Recent progress in VLSI provides massive parallelism but general purpose parallel computers remain elusive due to limited communications performance. This book proposes a new high level approach to pr
