CASL - The CoFI Algebraic Specification Language - Semantics.

    Research output: Book/ReportReportpeer-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 second complete but possibly imperfect version of the semantics. It was compiled prior to the CoFI workshop in Amsterdam in March 1999.
    Original languageEnglish
    Publication statusPublished - 1999

    Cite this