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
- Basic/Numbers.casl
- Basic/RelationsAndOrders.casl
- Basic/Algebra_I.casl
- Basic/SimpleDatatypes.casl
- Basic/StructuredDatatypes.casl
- Basic/Algebra_II.casl
- Basic/Graphs.casl
- Basic/LinearAlgebra_I.casl
- Basic/LinearAlgebra_II.casl
- Basic/MachineNumbers.casl