HetCASL - Heterogeneous Specification. Language Summary
(2004)Abstract
Heterogeneous CASL (HetCASL) allows
mixing specifications written in different logics (using
translations between the logics). It extends
CASL only at the level of structuring constructs, by adding constructs
for choosing the logic and translating specifications among
logics. HetCASL is needed when combining specifications written in
CASL with specifications written in its sublanguages and
extensions. HetCASL also allows the integration of logics
that are completely different from the CASL logic.
This document provides a detailed definition of the HetCASL syntax
and an informal description of the semantics, building on the existing
CASL Summary.