CASL User Manual - outline and 2 sample chapters

[pdmosses@brics.dk]

An outline of the forthcoming CASL User Manual, including complete
drafts of Chapter 3 (Total, Many-Sorted Specifications) and Chapter 4
(Partial Functions), is now available in PDF from the CoFI Archives at:

  ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/UserManual/Sample/doc.pdf

Comments are most welcome! Please send them to the authors at the
e-mail addresses listed on the front page:

     bidoit@lsv.ens-cachan.fr, pdmosses@brics.dk.

Comments of general interest to the CoFI Methodology and Language
Design groups may subsequently be forwarded to the corresponding
mailing lists: cofi-methodology and cofi-language.

Readers are invited to contribute to the completion of the User Manual
through their comments and suggestions for improvement. Feedback
received by 31st May will be taken into account in the next public
draft of the CASL User Manual. Thanks to those who sent comments on the
previous draft: they were very helpful!

Note that the specifications taken as illustrations in the User Manual
are largely the same as those given in the presentation entitled Gentle
Introduction to CASL, which is available at:

     http://www.lsv.ens-cachan.fr/~bidoit/CASL/

The authors must apologize again to the CoFI participants for the
delays with producing the User Manual; drafts of most of the remaining
chapters should be available by the end of June, 2002.

Michel Bidoit and Peter Mosses