Objects for Concurrent Constraint Programming

10/27/98

Click here to start

Table of Contents

Objects for Concurrent Constraint Programming

Eager Functional Programming

Step 1: Explicit Return Arguments

Step 2: Concurrency

Data-driven Synchronization

Data-driven Synchronization

The Language Oz

Lexically Scoped Higher-order Programming

Syntactic Support for Functional Programming

Ubiquitous Dataflow Synchronization

Atomic Read and Write

Background of Oz

Tools for DFKI Oz

Some Application Projects Using Oz

Sequential Object-oriented Programming in Oz

A Counter in Oz Syntax

A Counter using Atomic Read and Write

Advanced Features

Synchronization Techniques

Dataflow Synchronization

Mutual Exclusion

General Locking Scheme

Thread-Reentrant Locking

Syntactic Support for Thread-Reentrant Locking

Active Objects: Ports

Active Objects: Servers

General Implementation Techniques for Oz

Implementation of Objects in Oz

Email: henz@comp.nus.edu.sg

Home Page: http://www.comp.nus.edu.sg