%0 Book Section %1 RoggenbachEA03 %A Roggenbach, Markus %A Schröder, Lutz %A Mossakowski, Till %B CASL reference manual %D 2004 %E Mosses, Peter %I Springer; Berlin; http://www.springer.de %K CASL basic datatypes libraries %T Libraries %U http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2960&spage=361 %V 2960 %X 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.

@incollection{RoggenbachEA03, 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.}, added-at = {2016-08-05T15:59:03.000+0200}, author = {Roggenbach, Markus and Schr{\"o}der, Lutz and Mossakowski, Till}, biburl = {https://www.bibsonomy.org/bibtex/28e58d8148274c2586456e8348ded88c8/tillmo}, booktitle = {{CASL} reference manual}, editor = {Mosses, Peter}, interhash = {18e7e3c181d0dc937feae91acf171fc5}, intrahash = {8e58d8148274c2586456e8348ded88c8}, keywords = {CASL basic datatypes libraries}, note = {Early version appeared as CoFI note L-12, http://www.informatik.uni-bremen.de/cofi/old/Notes/L-12/index.html}, pdfurl = {http://www.informatik.uni-bremen.de/~lschrode/papers/lib.pdf}, psurl = {http://www.informatik.uni-bremen.de/~lschrode/papers/lib.ps}, publisher = {Springer; Berlin; http://www.springer.de}, series = {Lecture Notes in Computer Science}, status = {Other}, timestamp = {2016-08-05T15:59:03.000+0200}, title = {Libraries}, url = {http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2960&spage=361}, volume = 2960, year = 2004 }