| | | News Archives 2002 |
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 requested to contribute to the completion of the User Manual through their comments and suggestions for improvement. Feedback received by 31st August will be taken into account in the next public version. Thanks to those who sent comments on the previous drafts: 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 (yet 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 September, 2002.
[020803]
Note M-6.
Markus Roggenbach and Till Mossakowski.
Methodological Guidelines
(revised) June 2002.
[020626]
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. [020516]
ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/Semantics/
("Free-standing" = not in the form of annotations on the Language Summary, in contrast to all previous versions.)
Don Sannella writes:
Comments welcome! I am particularly interested in constructive comments on the style of presentation, for instance whether it is possible to make sense of this document without reference to the Language Summary. Most of the technical definitions have been through many iterations already so I am relatively confident that they are error-free.
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. [020308]
| | | News Archives 2002 |