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

Anne Haxthausen

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

Research output: Book/Report › Report › Research › peer-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 language	English

Publication status	Published - 1997

Access to Document

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

Cite this

@book{f374fd18dfa94ccf85c2e17adbe79370,

title = "CASL - The CoFI Algebraic Specification Language (version 0.97) - Semantics",

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

author = "Anne Haxthausen",

year = "1997",

language = "English",

}

TY - RPRT

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

AU - Haxthausen, Anne

PY - 1997

Y1 - 1997

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

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

M3 - Report

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

ER -