CASL The Common Algebraic Specification Language Semantics

    Research output: Book/ReportReportResearchpeer-review

    Abstract

    This is version 1.0 of the CASL Language Summary, annotated by the CoFI Semantics Task Group with the semantics of constructs. This is the first complete but possibly imperfect version of the semantics. It was compiled prior to the CoFI workshop at Cachan in November 1998.
    Original languageEnglish
    Publication statusPublished - 1998

    Cite this