This document is available in various formats from the CoFI archives at ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/Semantics/.Copyright ©2001 CoFI, The Common Framework Initiative for Algebraic Specification and Development.1
This is the formal semantics of version 1.0.1 of CASL. Although it is self-contained, it is intended for readers who are already familiar with the main concepts of algebraic specification and with the CASL Language Summary. The structure of this document is deliberately identical to that of the CASL Language Summary to aid cross-reference.
The rest of this document is not available in HTML.