![]() |
| ||
12 Basic LibrariesTill 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 lncs@springer.de
|