CoFIMain Page | About | Help | FAQ | Special pages | Log in

Printable version | Disclaimers | Privacy policy

CASL documents

From CoFI

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).

Retrieved from "http://www.informatik.uni-bremen.de/cofi/index.php/CASL_documents"

This page has been accessed 15,310 times. This page was last modified 11:14, 4 December 2008.


Find

Browse
Main Page
About
News
Recent changes
Random page
Wiki help
Tutorials
FAQ
CASL
CASL Extensions
Basic Libraries
Case Studies
Projects
Tools
Mailing Lists
Organization
Publications
Archives
Links
Bibliography
Edit
View source
Editing help
This page
Discuss this page
Post a comment
Printable version
Context
Page history
What links here
Related changes
My pages
Log in / create account
Special pages
New pages
File list
Statistics
Bug reports
More...