CASL documents
(Redirected from CASL Documents)
- CASL User Manual:
- The CASL user manual provides a gentle introduction to the whole CASL language, and illustrates the use of CASL with numerous examples. It also presents a relevant case study and a short introduction into CASL semantics and tools.
- CASL Reference Manual:
- The CASL reference manual is the definitive reference for the CASL language. It provides a detailed (informal) language summary, as well as formal syntax, semantics and proof calculi. Also the Basic libraries are part of the reference manual.
- Sample:
- The sample specifications give a quick impression of the "look and feel" of Casl.
- Rationale:
- The Casl Rationale gives an introduction to the concepts of Casl, and discusses some of the major design choices.
- Design Tour:
- The Guided Tour of Casl presents the major features of Casl, discussing pragmatic aspects, semantic concepts, and illustrating most of the language constructs.
Presentations of the design tour are available in various formats.
- Review:
- The IFIP WG1.3 Referees' Report on Casl reviewed the initial design proposal for Casl (version 0.97, May 1997).
The Casl Designers' Response includes the IFIP WG1.3 Referees' Report on Casl, and indicates how the points raised in it have influenced the final design proposal (version 1.0.1-DRAFT, June 2000).