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

OpenUrl availability

Full text

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 -