by Markus Roggenbach, Lutz Schröder and Till Mossakowski
Abstract:
This part of the CASL reference manual describes a library of elementary specifications called the Basic Datatypes. This library has been developed with two main purposes in mind: on the one hand, it provides the user with a handy set of off-the-shelf specifications to be used as building blocks in the same way as library functions in a programming language, thus avoiding continuous reinvention of the wheel. On the other hand, it serves as a large reservoir of example specifications that illustrate both the use of CASL at the level of basic and structured specifications.
Reference:
Markus Roggenbach, Lutz Schröder and Till Mossakowski: Libraries, Chapter in Peter Mosses, ed.: CASL reference manual, Lecture Notes in Computer Science, vol. 2960, Springer; Berlin; http://www.springer.de, 2004. Early version appeared as CoFI note L-12, http://www.informatik.uni-bremen.de/cofi/old/Notes/L-12/index.html [preprint]
Bibtex Entry:
@InCollection{RoggenbachEA03,
author = {Markus Roggenbach and Lutz Schr{\"o}der and Till Mossakowski},
title = {Libraries},
year = {2004},
editor = {Peter Mosses},
booktitle = {{CASL} reference manual},
publisher = {Springer; Berlin; http://www.springer.de},
series = {Lecture Notes in Computer Science},
volume = {2960},
keywords = {CASL libraries basic datatypes},
url = {http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2960&spage=361},
comment = { <a href = "http://www8.informatik.uni-erlangen.de/~schroeder/papers/lib.pdf"> [preprint] </a>},
psurl = {http://www8.informatik.uni-erlangen.de/~schroeder/papers/lib.ps},
abstract = {This part of the CASL reference manual describes a library of elementary specifications called the Basic Datatypes. This library has been developed with two main purposes in mind: on the one hand, it provides the user with a handy set of off-the-shelf specifications to be used as building blocks in the same way as library functions in a programming language, thus avoiding continuous reinvention of the wheel. On the other hand, it serves as a large reservoir of example specifications that illustrate both the use of CASL at the level of basic and structured specifications.},
note = {Early version appeared as CoFI note L-12, http://www.informatik.uni-bremen.de/cofi/old/Notes/L-12/index.html},
status = {Other}
}