Objects for Concurrent Constraint Programming

Front Cover
Springer Science & Business Media, Oct 31, 1997 - Computers - 171 pages
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

V
3
VI
5
VII
6
IX
7
X
8
XI
9
XII
10
XIII
11
LIII
91
LIV
92
LVI
93
LVII
95
LVIII
96
LIX
98
LX
101
LXI
102

XIV
13
XV
17
XVI
18
XVII
26
XVIII
27
XIX
29
XXI
35
XXII
40
XXIII
44
XXIV
45
XXV
48
XXVI
50
XXVII
53
XXVIII
57
XXIX
60
XXX
61
XXXI
63
XXXII
64
XXXIII
65
XXXIV
66
XXXVI
68
XXXVII
69
XXXVIII
71
XXXIX
72
XLI
73
XLII
75
XLIII
78
XLIV
79
XLVI
80
XLVII
81
XLVIII
82
XLIX
85
LI
87
LII
89
LXII
111
LXIII
115
LXV
117
LXVI
119
LXVII
121
LXVIII
122
LXIX
123
LXX
125
LXXI
127
LXXII
128
LXXIII
129
LXXV
132
LXXVI
133
LXXVII
134
LXXVIII
135
LXXIX
139
LXXX
140
LXXXI
142
LXXXII
144
LXXXIII
145
LXXXIV
146
LXXXV
147
LXXXVI
151
LXXXVII
152
LXXXIX
153
XC
156
XCII
159
XCIII
160
XCIV
162
XCVI
165
XCVII
166
XCVIII
167
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information