A comprehensive overview of OpenMP, the standard application programming interface for shared memory parallel computing—a reference for students and professionals.
A Small Matter of Programming asks why it has been so difficult for end users to command programming power and explores the problems of end-user-driven application development that must be solved to a
A comprehensive survey of the theory and applications of meta-programming, covering problems of representation and of soundness and correctness of interpreters, analysis and evaluation of meta-logic p
Includes tutorials, lectures, and refereed papers on all aspects of logic programming,The Joint International Conference and Symposium on Logic Programming, sponsored by the Association for Logic Prog
The annual International Logic Programming Symposium, traditionally held in North America, is one of the main international conferences sponsored by the Association of Logic Programming. The themes of
Covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases,language design and implementation, non-monotonic reasoning, and logi
Includes tutorials, invited lectures, and refereed papers on all aspects of logic programming including: Constraints, Concurrency and Parallelism, Deductive Databases, Implementations, Meta and Higher
December 4-7, 1995, Portland, Oregon The International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. It is held annually
13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic program
The past years have seen a large number of effective implementations of logic programs for a variety of computer architectures in numerous application areas. Logic programming continues to develop by
The Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this i
This collection presents the best of current work on all aspects of constraint logic programming languages, from theory through language implementation. Constraint logic programming, the notion of c
Although Inductive Logic Programming (ILP) is generally thought of as a research area at the intersection of machine learning and computational logic, Bergadano and Gunetti propose that most of the re
Practical Parallel Programming provides scientists and engineers with a detailed, informative, and often critical introduction to parallel programming techniques. Parallel computers have become wide
This book gives a tutorial overview of Goedel, presents example programs, provides a formal definition of the syntax and semantics of the language, and covers background material on logic.Goedel is a
To date, books on object-oriented programming have focused either on the methodology of the object-oriented paradigm or on teaching the details of a particular programming language. This collection ta
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
This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic,
This comprehensive handbook of mathematical and programming techniques for audio signal processing will be an essential reference for all computer musicians, computer scientists, engineers, and anyon
Scheme is a general-purpose programming language, descended from Algol and Lisp, widely used in computing education and research and a broad range of industrial applications. This thoroughly updated
This book provides students with a deep, working understanding of the essential concepts of programming languages. Most of these essentials relate to the semantics, or meaning, of program elements, a
A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of ty
Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to study the axiomatic, operational, and denotational se
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
Type theory is a well-established branch of theoretical computer science that has played an important role in the development of imperative and functional programming languages. This collection of ori
What makes computer programs fast or slow? To answer this question, we have to go behind the abstractions of programming languages and look at how a computer really works. This book examines and expla
With the coming of the parallel computing era, computer scientists have turned their attention to designing programming models that are suited for high-performance parallel computing and supercomputin
This comprehensive text uses a simple and concise framework to teach key ideas in programming language design and implementation. The book's unique approach is based on a family of syntactically simp
This thoroughly updated edition of The Scheme Programming Language provides an introduction to Scheme and a definitive reference for standard Scheme, presented in a clear and concise manner. Written f
Investigating meta-programming within the logic programming paradigm, Meta-Logics and Logic Programming presents original research on an important extension of logic programming that makes it more ame
The job of the constraint programmer is to use mathematical constraints to model real world constraints and objects. In this book, Kim Marriott and Peter Stuckey provide the first comprehensive intro
The Structure of Typed Programming Languages describes the fundamental syntactic and semantic features of modern programming languages, carefully spelling out their impacts on language design. Using c
A mathematically oriented introduction to the theory of logic programming that presents a systematic exposition of the resolution methods for propositional, first-order, and Horn-clause logics, togeth
Linear programming is widely used in industry to solve complex planning and resource allocation problems. This book provides practitioners as well as students of this general methodology with an easil
How to understand and program interactive devices so that they are reliable and easyto use; includes wide-ranging programming insights, tools, and code.
How to understand and program interactive devices so that they are reliable and easyto use; includes wide-ranging programming insights, tools, and code.
This collection of twenty-three original papers represents the first effort to bring together the work of constraint programming researchers scattered across multiple disciplines and across the world.
