CASL - The CoFI Algebraic Specification Language (version 0.97) - Semantics

    Research output: Book/ReportReportResearchpeer-review

    Abstract

    This is version 0.97 of the CASL Language Summary, annotated by the CoFI Semantics Task Group with the semantics of constructs. The work on the semantics suggests certain minor changes to the design of CASL.
    Original languageEnglish
    Publication statusPublished - 1997

    Cite this