CASL - The CoFI Algebraic Specification Language (Tentative
                Design, version 0.95) -- Language Summary with annotations
                concerning questions and doubts

Anne Haxthausen

CASL - The CoFI Algebraic Specification Language (Tentative Design, version 0.95) -- Language Summary with annotations concerning questions and doubts

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 questions and doubts concerning the meaning of constructs and the semantics of the interaction of constructs, and with notes on how these worries will be discharged in version 0.96 of the design

Original language	English

Publication status	Published - 1997

Access to Document

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

OpenUrl availability

Full text

Cite this

@book{4785ea8832844267a3b3d36ec86505d4,

title = "CASL - The CoFI Algebraic Specification Language (Tentative Design, version 0.95) -- Language Summary with annotations concerning questions and doubts",

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 questions and doubts concerning the meaning of constructs and the semantics of the interaction of constructs, and with notes on how these worries will be discharged in version 0.96 of the design",

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 questions and doubts

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 questions and doubts concerning the meaning of constructs and the semantics of the interaction of constructs, and with notes on how these worries will be discharged in version 0.96 of the design

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 questions and doubts concerning the meaning of constructs and the semantics of the interaction of constructs, and with notes on how these worries will be discharged in version 0.96 of the design

M3 - Report

BT - CASL - The CoFI Algebraic Specification Language (Tentative Design, version 0.95) -- Language Summary with annotations concerning questions and doubts

ER -