Springer
CD-ROM OverviewTable of ContentsSearch

12  Basic Libraries

Till Mossakowski

Abstract. The CASL Basic Libraries contain the standard datatypes.

The CASL Basic Libraries consist of specifications of often-needed datatypes and views between them, freeing the specifier from re-inventing well-known things. This can be compared to standard libraries in programming languages. While this book often discusses several styles of specification with CASL, the basic datatypes consistently follow a specific style described in [20].

LNCS 2900, pp. 143 - 154

Full article in PDF


lncs@springer.de
© Springer-Verlag Berlin Heidelberg 2004