[Oz] Books on Distributed and Constraint Programming

[Peter Van Roy]

> I'm a complete newbie to the world of Mozart and Oz. I'm wondering
> if anyone out there can suggest some good titles that deal
> with using some of the important features of Mozart/Oz from a more 
> theoretical angle.
> 
> Thank you.
> 
> RJB

In addition to the Mozart tutorials, I would suggest books on constraints, 
functional programming, and concurrent object-oriented programming.  I'm
not sure how theoretical you want to get, but off-hand, here are a few
titles that are still useful to programmers:

@book{constraintprogramming,
author = "Kim Marriott and Peter J. Stuckey",
title = "Programming with Constraints: An Introduction",
publisher = "MIT Press",
year = 1999,
month = jan,
}

% This one is in the Mozart documentation:
@techreport{fdtutorial,
author = "Christian Schulte and Gert Smolka",
title = "Finite Domain Constraint Programming in {Oz}.
{A} Tutorial.",
crossref = {mozart},
year = 1999,
}

@book{Meyer,
author = "Bertrand Meyer",
title = "Object-oriented Software Construction",
publisher = "Prentice-Hall",
year = 1988,
}

@book{HenzOFCCP:97,
  AUTHOR = {Henz, Martin},
  TITLE = {Objects for Concurrent Constraint Programming},
  Month = nov,
  YEAR = 1997,
  publisher = {Kluwer Academic Publishers},
  address = {Boston},
  number = {ISBN 0-7923-8038-X},
  series = {The Kluwer International Series in Engineering
        and Computer Science},
  volume = 426
}

@book{haskellbook,
author = "Simon Thompson",
title = "Haskell: The Craft of Functional Programming, Second Edition",
publisher = "Addison-Wesley",
year = 1999,
month = jun,
}


There are no books I know of that talk of concurrent programming
and open, robust distributed programming in the way that Mozart
does it.  There are only the tutorials in the Mozart documentation.
Better documentation will be there eventually.

Some of the published papers give very readable summaries of parts
of Oz/Mozart; look at the Published Papers page on the Mozart site.

Peter

-
Please send submissions to users at mozart-oz.org
and administriva mail to users-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.