Objects for Concurrent Constraint Programming

  • Martin┬áHenz

Table of contents

  1. Front Matter
    Pages i-xxi
  2. Setting the Stage

    1. Front Matter
      Pages 1-1
    2. Martin Henz
      Pages 3-15
    3. Martin Henz
      Pages 35-51
    4. Martin Henz
      Pages 53-60
  3. Object-Oriented Programming

    1. Front Matter
      Pages 61-61
    2. Martin Henz
      Pages 63-69
    3. Martin Henz
      Pages 71-85
    4. Martin Henz
      Pages 87-93
    5. Martin Henz
      Pages 95-118
  4. Objects and Concurrency

    1. Front Matter
      Pages 119-119
    2. Martin Henz
      Pages 121-136
    3. Martin Henz
      Pages 139-149
    4. Martin Henz
      Pages 151-157
    5. Martin Henz
      Pages 159-166
  5. Back Matter
    Pages 167-170

About this book


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.


Oz Programming language A communication concurrency constraint constraint programming control design development language object object-oriented programming object-oriented programming (OOP) programming programming language

Authors and affiliations

  • Martin┬áHenz
    • 1
  1. 1.National University of SingaporeSingapore

Bibliographic information

  • DOI
  • Copyright Information Kluwer Academic Publishers 1998
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4613-7502-9
  • Online ISBN 978-1-4615-5477-6
  • Series Print ISSN 0893-3405
  • Buy this book on publisher's site