Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2960)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (5 chapters)
-
Front Matter
-
Casl Summary
-
Front Matter
-
-
Casl Syntax
-
Front Matter
-
-
Casl Semantics
-
Front Matter
-
-
Casl Logic
-
Front Matter
-
-
Casl Libraries
-
Front Matter
-
-
Back Matter
Keywords
About this book
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design. CASL is already regarded as a de facto standard, and various sublanguages and extensions are available for specific tasks.
This reference manual presents a detailed documentation of the CASL specification formalism. It reviews the main underlying concepts, and carefully summarizes the intended meaning of each construct of CASL. The book formally defines both the syntax and semantics of CASL, and presents a logic for reasoning about CASL specifications. Furthermore, extensive libraries of CASL specifications of basic data types are provided as well as a comprehensive annotated bibliography of CoFI publications.
As a separate, complementary book LNCS 2900 presents a tutorial introduction to CASL, the CASL User Manual.
Editors and Affiliations
Bibliographic Information
Book Title: CASL Reference Manual
Book Subtitle: The Complete Documentation of the Common Algebraic Specification Language
Editors: Peter D. Mosses
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/b96103
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2004
Softcover ISBN: 978-3-540-21301-7Published: 19 March 2004
eBook ISBN: 978-3-540-24648-0Published: 24 February 2004
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVIII, 534
Topics: Software Engineering, Computer Science, general, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs