CoFIMain Page | About | Help | FAQ | Special pages | Log in

Printable version | Disclaimers | Privacy policy

Basic libraries

From CoFI

The basic libraries have been developed with two main purposes in mind: on the one hand, they provide 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, they serve as a large reservoir of example specifications that illustrate both the use of CASL at the level of basic and structured specifications.

The basic libraries are part of the CASL reference manual, but can also be downloaded directly.

Here is a list of the files from the basic libraries

Retrieved from "http://www.informatik.uni-bremen.de/cofi/index.php/Basic_libraries"

This page has been accessed 11,729 times. This page was last modified 07:00, 22 February 2008.


Find

Browse
Main Page
About
News
Recent changes
Random page
Wiki help
Tutorials
FAQ
CASL
CASL Extensions
Basic Libraries
Case Studies
Projects
Tools
Mailing Lists
Organization
Publications
Archives
Links
Bibliography
Edit
View source
Editing help
This page
Discuss this page
Post a comment
Printable version
Context
Page history
What links here
Related changes
My pages
Log in / create account
Special pages
New pages
File list
Statistics
Bug reports
More...