Lambda the Ultimate

inactiveTopic CCSL Tutorial
started 4/2/2004; 5:27:46 AM - last post 4/3/2004; 2:32:59 AM
Ehud Lamm - CCSL Tutorial  blueArrow
4/2/2004; 5:27:46 AM (reads: 8006, responses: 1)
CCSL Tutorial
(more file formats available here)

Though still a draft, this short tutorial (20 pp.) provides a very nice introduction to CCSL (the Coalgebraic Class Specification Language).

The tutorial is centered around a stack specification in CCSL, that is later compiled to PVS, and analyzed. A stack implementation is provided (i.e., a model), and the consistency of the specification proved.

Posted to Software-Eng by Ehud Lamm on 4/2/04; 5:30:01 AM

Ehud Lamm - Re: CCSL Tutorial  blueArrow
4/3/2004; 2:32:59 AM (reads: 91, responses: 0)
One thing worth noticing is that since the tutorial is very readable and doesn't emphasize the math, it is quite easy to finish reading without realizing exactly where the coalgebras fit in...