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
Includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design
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
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
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
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
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
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
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
Over the past twenty-five years, Ray Jackendoff has investigated many complex issuesin syntax, semantics, and the relation of language to other cognitive domains. He steps back in thisnew book to surv
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
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
Papers from the first International Conference on Universals in Language, uniting perspectives from linguistics, cultural anthropology, and psychology. In 1961, the first International Conference on
The issues of mental causation, consciousness, and free will have vexed philosophers since Plato. In this book, Peter Tse examines these unresolved issues from a neuroscientific perspective. In contra
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 analyzes the Asian financial crisis of 1997-1999. In addition to the issues of financial system restructuring, export-led recovery, crony capitalism, and competitiveness in Asian manufacturi
This self-contained introduction to natural language semantics addresses the majortheoretical questions in the field. The authors introduce the systematic study of linguistic meaningthrough a sequence
Readers of Jurgen Habermas's Theory of Communicative Action and his later social theory know that the idea of communicative rationality is central to his version of critical theory. Language and Reaso
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
The theoretical issues raised in The Sound Pattern of English continue to be critical to current phonology, and in many instances the solutions proposed by Chomsky and Halle have yet to be improved u
An examination of more than sixty years of successes and failures in developing technologies that allow computers to understand human spoken language. Stanley Kubrick's 1968 film 2001: A Space Odyss
Experts investigate communicative flexibility (in both form and usage of signals) as the foundation of the evolution of complex communication systems, including human language. The evolutionary root
Leading economists analyze topical issues in pension policy, including structural reform of pay-as-you-go systems, the political sustainability of pension reforms, and the need for private, funded sys
In Dark Tongues, Daniel Heller-Roazen offers a sustainedexploration of a perplexing fact that has never received the attention it deserves. Wherever humanbeings share a language, they also strive to m
Multilateral development banks (MDBs) are increasingly expected to address environmental issues in their economic development lending. Yet the banks have been accused of failing to implement their own
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
An anthology collecting 18 essays from Design Issues volumes 3-10 surveying unique conceptual and methodological topics in design history. The discussions focus on the categories of graphic design,
Global Networks takes up the host of issues raised by the new networking technology that now links individuals, groups, and organizations in different countries and on different continents. The twenty
This book introduces to an English-language audience the writings of the so-called New Vienna School of art history. In the 1930s Hans Sedlmayr (1896-1984) and Otto Pacht (1902-1988) undertook an amb
Under what conditions are expressions of a language the same; when are theydifferent? Indices and Identity focuses on this question in the context of the theory of anaphoraand on the role of indices i
This book introduces to an English-language audience the writings of the so-called New Vienna School of art history. In the 1930s Hans Sedlmayr (1896-1984) and Otto Pacht (1902-1988) undertook an amb
For anyone interested in the issues arising from computer malfunctions and, moreperniciously, from misuse, this new edition of Computer Ethics is right on the mark. Widelyacclaimed for its readability
Types of A'-Dependencies develops the theories of Bonding and Government of the"principles and parameters" approach to syntax pioneered by Noam Chomsky. Using data from Romancelanguages, Cinque argues
Investigations in Algebra departs from a preoccupation with calculus as the ultimate goal of and the universal introduction to advanced mathematics by using Logo to explore combinatorics, number theor
This interesting and provocative collection of essays addresses most if not all of the key current policy issues in open economy macroeconomics: the strong dollar, LDC debt problems, and deficit finan
Genetic Alchemy summarizes and clarifies the background of policy and ethical issues, the debates engendered by uncertain risks to researchers and the population at large, and the roles played by scie
This reassessment of J. M. Keynes's The General Theory of Employment, Interest and Money results from the author's experience in using Keynes's book as the core of her macroeconomics courses for under
