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

Anne Haxthausen

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

Research output: Book/Report › Report › Research › peer-review

Abstract

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 language	English

Publication status	Published - 1997

Access to Document

ftp://ftp.brics.dk/Projects/CoFI/Notes/S-4/doc.ps.Z

OpenUrl availability

Full text

Cite this

@book{9f6239d9904745e4935681b33f44d46a,

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

abstract = "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.",

author = "Anne Haxthausen",

year = "1997",

language = "English",

}

TY - RPRT

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

AU - Haxthausen, Anne

PY - 1997

Y1 - 1997

N2 - 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.

AB - 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.

M3 - Report

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

ER -