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
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
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
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
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 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.
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 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
The process of European monetary unification (EMU) is approaching a critical juncture. At the beginning of 1998 the member states of the European Union will decide whether or not to go ahead with thei
Preface by Daniel C. Dennett Beginning with a general theory of function applied to body organs, behaviors, customs, and both inner and outer representations, Ruth Millik
In describing the technical experiences of one company from the beginning of the computer era, this book unfolds the challenges that IBM's research and development laboratories faced, the technologica
The average person has a rich belief system about the thoughts and motives of people. From antiquity to the beginning of this century, Stephen Stich points out, this "folk psychology"
Intended for use in advanced undergraduate and beginning graduate courses, this text presents a wide survey of methodological procedures and theoretical positions.
China's Great Leap Forward, beginning in 1958, touched almost everything in Chinese life, even the traditions of academic scholarship. The study of history was given special attention, offering the te
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
In this detailed account of what was happening within Surrealism during the crucial years 1938-1947, Martica Sawin documents the cultural transfer that took place when the greater part of the prewar S
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
