| Art der Veröffentlichung: |
Artikel in Sammlung |
| Autor: |
Markus Roggenbach, Lutz Schröder, Till Mossakowski |
| Herausgeber: |
Peter Mosses |
| Titel: |
Libraries |
| Buch / Sammlungs-Titel: |
CASL reference manual |
| Band: |
2960 |
| Serie / Reihe: |
Lecture Notes in Computer Science |
| Erscheinungsjahr: |
2004 |
| Verleger: |
Springer, Berlin |
| Abstract / Kurzbeschreibung: |
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. |
| Internet: |
http://www.springerlink.com/openurl.asp?genre=article&issn=0302-9743&volume=2960&spage=361 |
| PDF Version: |
http://www.informatik.uni-bremen.de/~lschrode/papers/lib.pdf |
| PostScript Version: |
http://www.informatik.uni-bremen.de/~lschrode/papers/lib.ps |
| Schlagworte: |
CASL libraries basic datatypes |
| Anmerkung / Hinweis: |
Early version appeared as CoFI note L-12, http://www.informatik.uni-bremen.de/cofi/old/Notes/L-12/index.html |
| Status: |
Other |
| Letzte Aktualisierung: |
13. 02. 2007 |
