CASL
The Common Algebraic Specification Language
Semantics
by The CoFI Task Group on Semantics
9 July 1999
This document is available by
FTP
in various formats.
It was converted to HTML using
Hyperlatex 2.3.
Abstract
This is version 1.0 of the CASL Language Summary, annotated by the
CoFI Semantics Task Group with the semantics of constructs. This is
the third complete but possibly still imperfect version of the
semantics. It was compiled on
9 July 1999 to be distributed on CD ROM to the participants of the World
Congress on Formal Methods FM'99, Toulouse, 2-24 September 1999.
The rest of this document has not yet been converted to HTML;
please refer to the FTP
directory for the full
document.
CoFI
Document: CASL/Semantics -- Version: 0.96 -- 9 July 1999.
Comments to cofi-semantics@brics.dk