| | | CoFI Presentations |
Some presentations of Casl, available in various formats for use in tutorials and courses, are listed below. They all assume that the audience is already familiar to some extent with the fundamental concepts of algebraic specification.
Unless otherwise indicated by copyright information in the documents themselves, modified versions may be made for personal use, but not distributed (except by written permission from the author).
This set of 91 slides gives a detailed introduction to writing specifications in Casl, based on material from the (forthcoming) Casl User's Guide (omitting architectural specifications). It was presented during the CoFI Day at ETAPS 2000. A revised version is to be given as a tutorial at ETAPS 2001, and will subsequently be made available from this page.
Duration: 2.5 hours minimum.
This set of 47 slides was given, together with a demostration of Casl Tools, at Lfm2000. The running example is the specification of an interpreter for a simple programming language.
Duration: 1/2-day, including tool demonstration.
This set of 84 slides gives a detailed presentation of CASL (v1.0). The slides were originally written for use at a half-day tutorial on Casl, given at ETAPS'98; a revised version was presented during the CoFI WG event at FM'99. The presentation covers the Casl language design (not how to use Casl) and is far too detailed for presenting Casl to potential users.
Duration: 3 hours minimum.
This is a cut-down version of the Guided Tour with only 42 slides, omitting the systematic presentation of individual language constructs and the details of the semantic foundations.
Duration: 1.5 hours.
These 9 slides show how some examples in Slang (the specification language of Specware) may be written in Casl.
Duration: approx. 30 minutes.
Obsolete versions of presentations are no longer available.
| | | CoFI Presentations |