Peter D. Mosses (Ed.): CASL Reference Manual The Complete Documentation of the Common Algebraic Specification Language   LNCS 2960

Electronic Version of LNCS 2960:

• Title Pages in PDF
  
• Complete Reference Manual in PDF
  

Additional Electronic Material on This CD-ROM:

• LaTeX formatting styles for CASL and HasCASL
• CASL tools
  • The CASL Tool Set (Cats)
    • Third-party tools for Cats
    • CASL Basic Datatypes, adapted for Cats
    • More detailed information about Cats
  • The Heterogeneous Tool Set (Hets)
    • Hets documentation
    • Hets sources
    • Uniform Workbench sources
    • More detailed information about Hets
  • The HOL-CASL theorem prover
    • CASL Basic Datatypes, adapted for HOL-CASL
    • More detailed information about HOL-CASL
• CASL Libraries
  • CASL in CASL
  • Basic Datatypes
  • Some case studies
  • Specifications from the CASL User Manual
  • CASL test suite
  • HasCASL specifications

Contrary to expectations, the new version of the LaTeX package for formatting CASL specifications and its documentation were not ready in time for inclusion on this CD-ROM. They will be made available via the CoFI web pages http://www.cofi.info. Sorry for any inconvenience.

 
Important Note:

In order to view the full articles presented on this CD-ROM you will need Adobe Acrobat Reader.

If you run a Windows 98SE / NT / 2000 / ME / XP platform you can install Adobe Acrobat Reader 6.0 by clicking one of the following links:

Install Acrobat Reader 6.0 (English)
Install Acrobat Reader 6.0 (German)

For other platforms please take a look into the Acrobat directory of this CD-ROM or visit the Adobe website at http://www.adobe.com/products/acrobat/readstep.html.

lncs@springer.de
© 2004 IFIP International Federation for Information Processing/Authors