A Gentle Introduction to C

A Gentle Introduction to CASL
Michel Bidoit
LSV, CNRS & ENS de Cachan, France
Peter D. Mosses
BRICS & University of Aarhus, Denmark
www.cofi.info
c
Michel Bidoit, Peter D. Mosses, CoFI 1 Casl Tutorialc
Copyright 2004 Michel Bidoit and Peter D. Mosses, and CoFI,
The Common Framework Initiative for Algebraic Specification and Development.
Permission is granted to anyone to make or distribute verbatim copies of this document,
in any medium, provided that the copyright notice and permission notice are preserved,
and that the distributor grants the recipient permission for further redistribution as
permitted by this notice. Modified versions may not be made.
June 4, 2004
This CASL Tutorial is a companion document to the CASL User Manual,
by Michel Bidoit and Peter D. Mosses, published in 2004 as Springer LNCS 2900.
c
Michel Bidoit, Peter D. Mosses, CoFI 2 Casl TutorialContents
Introduction.......................................................................4
Underlying Concepts...............................................................7
Foundations......................................................................11
Getting Started .................................................................. 13
Loose Specifications ......................................................... 14
Generated Specifications .....................................................27
Free Specifications...........................................................32
Partial Functions........ ...