Objects for Concurrent Constraint Programming

by Martin Henz

Overview

Concurrent constraint programming (ccp) is a recent development in programming language design. Its central contribution is the notion of partial information provided by a shared constraint store. This constraint store serves as a communication medium between concurrent threads of control and as a vehicle for their synchronization.
Objects for Concurrent Constraint Programming analyzes the possibility of supporting object-oriented programming in ccp. Starting from established approaches, the book covers various object models and discusses their properties. Small Oz, a sublanguage of the ccp language Oz, is used as a model language for this analysis. This book presents a general-purpose object system for Small Oz and describes its implementation and expressivity for concurrent computation.
Objects for Concurrent Constraint Programming is written for programming language researchers with an interest in programming language aspects of concurrency, object-oriented programming, or constraint programming. Programming language implementors will benefit from the rigorous treatment of the efficient implementation of Small Oz. Oz programmers will get a first-hand view of the design decisions that lie behind the Oz object system.

Product Details

ISBN-13:	9781461375029
Publisher:	Springer US
Publication date:	10/11/2012
Series:	The Springer International Series in Engineering and Computer Science , #426
Edition description:	Softcover reprint of the original 1st ed. 1998
Pages:	171
Product dimensions:	6.10(w) x 9.25(h) x 0.02(d)

Table of Contents

I Setting The Stage.- 1 Introduction.- 2 Issues in Object-Oriented Language Design.- 3 Small Oz.- 4 First Steps Towards Objects.- II Object-Oriented Programming.- 5 Basic Object System.- 6 Advanced Techniques.- 7 Reduction to Small Oz.- 8 Implementation.- III Objects and Concurrency.- 9 Synchronization Techniques.- 10 Active Objects.- 11 Alternative Concurrency Models.- 12 A Concurrent Meta-Object Prool.

Editorial Reviews

Analyzes possibilities for supporting object-oriented programming in concurrent constraint programming, a recent development in programming language design characterized by the notion of partial information provided by a shared constraint store, which serves both as a communication medium between concurrent threads of control and as a vehicle for their synchronization. Using the language Small Oz as a model, presents a general-purpose object system and describes its implementation and expressibility for concurrent computation. Introduces the notion of passive objects to the framework and links the essential ideas to mainstream programming languages. For programming language researchers. Based on the June 1997 doctoral dissertation Objects in Oz for Universit<:a>t des Saarlandes. Annotation c. by Book News, Inc., Portland, Or.

Booknews