CASL - The CoFI Algebraic Specification Language (Tentative Design, version 0.95) - Language Summary, with annotations concerning the semantics of constructs.

    Research output: Book/ReportReportResearchpeer-review


    This is version 0.95 of the official summary of the Tentative Design of CASL, the CoFI Algebraic Specification Language, annotated by the CoFI Semantics Task Group with suggestions for the semantics of constructs.
    Original languageEnglish
    Publication statusPublished - 1997

    Cite this