Casl Documents

Casl Documents

The Casl User and Reference Manuals have been published!

CoFI is (very) pleased to announce that the Casl User and Reference Manuals have been published by Springer, as LNCS Vols. 2900 and 2960 (Tutorials, IFIP Series):

  

Boths books can be ordered online (click on the cover images above).

The citation data is as follows (see the updated CoFI Publications bibliography):

@Book{Bidoit:2004:CASL-UM,
  author =       "Michel Bidoit and Peter D. Mosses",
  title =        "\textsc{Casl} User Manual",
  year =         "2004",
  publisher =    "Springer",
  series =       "LNCS 2900 (IFIP Series)",
  note =         "With chapters by T. Mossakowski, D. Sannella,
                 and A. Tarlecki",
}

@Book{CoFI:2004:CASL-RM,
  author =       "{CoFI (The Common Framework Initiative)}",
  title =        "\textsc{Casl} Reference Manual",
  year =         "2004",
  publisher =    "Springer",
  series =       "LNCS 2960 (IFIP Series)",
}

 

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

Casl Documents