About this documentTopContents

Contents

  • Contents
  • About this document
  • Structure
  • Versions
  • Contributors
  • I Basic Specifications
  • 1 Basic Concepts
  • 1.1 Signatures
  • 1.2 Models
  • 1.3 Sentences
  • 1.4 Satisfaction
  • 2 Basic Constructs
  • 2.1 Signature Declarations
  • 2.1.1 Sorts
  • 2.1.2 Operations
  • 2.1.3 Predicates
  • 2.1.4 Datatypes
  • 2.1.5 Sort Generation
  • 2.2 Variables
  • 2.2.1 Global Variable Declarations
  • 2.2.2 Local Variable Declarations
  • 2.3 Axioms
  • 2.3.1 Quantifications
  • 2.3.2 Logical Connectives
  • 2.3.3 Atomic Formulae
  • 2.3.4 Terms
  • 2.4 Identifiers
  • 3 Subsorting Concepts
  • 3.1 Signatures
  • 3.2 Models
  • 3.3 Sentences
  • 4 Subsorting Constructs
  • 4.1 Signature Declarations
  • 4.1.1 Sorts
  • 4.1.2 Datatypes
  • 4.2 Axioms
  • 4.2.1 Atomic Formulae
  • 4.2.2 Terms
  • II Structured Specifications
  • 5 Structuring Concepts
  • 6 Structuring Constructs
  • 6.1 Structured Specifications
  • 6.1.1 Translations
  • 6.1.2 Reductions
  • 6.1.3 Unions
  • 6.1.4 Extensions
  • 6.1.5 Free Specifications
  • 6.1.6 Local Specifications
  • 6.1.7 Closed Specifications
  • 6.2 Named and Parametrized Specifications
  • 6.2.1 Specification Definitions
  • 6.2.2 Specification Instantiation
  • 6.3 Views
  • 6.3.1 View Definitions
  • 6.3.2 Fitting Views
  • 6.4 Symbol Lists and Mappings
  • 6.4.1 Symbol Lists
  • 6.4.2 Symbol Mappings
  • 6.5 Compound Identifiers
  • III Architectural Specifications
  • 7 Architectural Concepts
  • 8 Architectural Constructs
  • 8.1 Unit Declarations and Definitions
  • 8.1.1 Unit Declarations
  • 8.1.2 Unit Definitions
  • 8.2 Unit Specifications
  • 8.2.1 Unit Types
  • 8.2.2 Architectural Unit Specifications
  • 8.2.3 Closed Unit Specifications
  • 8.3 Unit Expressions
  • 8.3.1 Unit Terms
  • IV Specification Libraries
  • 9 Library Concepts
  • 10 Library Constructs
  • 10.1 Local Libraries
  • 10.2 Distributed Libraries
  • 10.3 Library Names
  • References
  • Index
  • Appendices
  • A Abstract Syntax
  • A.1 Basic Specifications
  • A.2 Basic Specifications with Subsorts
  • A.3 Structured Specifications
  • A.4 Architectural Specifications
  • A.5 Specification Libraries
  • B Abbreviated Abstract Syntax
  • B.1 Basic and Subsorted Specifications
  • B.2 Structured Specifications
  • B.3 Architectural Specifications
  • B.4 Specification Libraries
  • C Concrete Syntax
  • C.1 Introduction
  • C.2 Context-Free Syntax
  • C.2.1 Basic Specifications with Subsorts
  • C.2.2 Structured Specifications
  • C.2.3 Architectural Specifications
  • C.2.4 Specification Libraries
  • C.3 Disambiguation
  • C.3.1 Precedence
  • C.3.2 Mixfix Grouping Analysis
  • C.4 Lexical Syntax
  • C.5 Comments and Annotations
  • C.5.1 Comments
  • C.5.2 Annotations
  • C.6 Syntax for Literals
  • C.6.1 Literal syntax for numbers
  • C.6.2 Literal syntax for strings
  • C.6.3 Literal syntax for lists
  • D Display Format
  • D.1 Mathematical Symbols
  • D.2 Keywords
  • D.3 Identifiers
  • D.4 Comments and Annotations
  • E Examples
  • E.1 Simple Structured Specifications
  • E.2 Generic Structured Specifications
  • E.3 Architectural Specifications
  • Footnotes
  • Brief Contents
  • This document was converted to HTML using Hyperlatex 2.5.


    CoFI Document: CASL/Summary -- Version: 1.0.1 -- 25 March 2001.
    Comments to cofi-language@brics.dk

    About this documentTopContents