[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
CASL User Manual - outline and sample chapter
An outline of the forthcoming CASL User Manual, including a
complete draft of Chapter 3 (Total, Many-Sorted Specifications),
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 March will be taken into account in the
next public draft of the CASL User Manual. Complete drafts of most
of the remaining chapters should be available by early April,
2002.
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 to the CoFI participants for the delays
with producing the User Manual; they are now aiming to complete it
by the end of June 2002.
Michel Bidoit and Peter Mosses