Dear Mozart users:
There is a draft available of the book "Concepts, Techniques, and
Models of Computer Programming", by Peter Van Roy and Seif Haridi. This
book presents a broad and deep view of computer programming, organized
as computation models (a.k.a. "programming paradigms"). We present all
the most useful models, their programming techniques, how they relate
to each other, and how they should be used together. The Oz language
is used as the underlying formalism. All the models come with many
examples and case studies, with full source code that runs on Mozart.
The book is far from finished, but the current draft already has lots
of good material (almost 600 pages). The book supersedes the "Tutorial
of Oz" and "Distributed Programming in Mozart" tutorials in the Mozart
documentation. We recommend that you read the book instead of these
two documents.
The most recent draft will always be available in PostScript and PDF
formats at:
http://www.info.ucl.ac.be/~pvr/book.{ps,ps.gz,pdf}
All comments and reactions are welcome. The book will be used as the
textbook for several programming courses. We are looking for more
people to teach-test the book; if this interests you please get in
touch with us.
Sincerely,
Peter Van Roy
-
Please send submissions to [email protected]
and administriva mail to [email protected].
The Mozart Oz web site is at http://www.mozart-oz.org/.