CASL Reference Manual

CASL Reference Manual

4.11 - 1251 ratings - Source

Contains the Complete Reference Manual in PDF format, plus additional Electronic Material: LaTeX formatting styles for CASL and HasCASL; CASL tools (The CASL Tool Set (Cats): Third-party tools for Cats --CASL Basic Datatypes, adapted for Cats -- More detailed information about Cats ; The Heterogeneous Tool Set (Hets): Hets documentation -- Hets sources -- Uniform Workbench sources -- More detailed information about Hets ; The HOL-CASL theorem prover: CASL Basic Datatypes, adapted for HOL-CASL -- More detailed information about HOL-CASL); CASL Libraries (CASL in CASL -- Basic Datatypes -- Some case studies -- Specifications from the CASL User Manual -- CASL test suite -- HasCASL specifications)Definition 4.7. Given a node N aˆˆ N, its associated class ModDG(N) of models (or N-models for short) is inductively ... there exists a unique model morphism h#: M a†’M with h#|Iƒ = h. Definition 4.8. Let DG = a€ˆN, La€‰ be a development graph.

Title:CASL Reference Manual
Author:Peter Mosses
Publisher:Springer Science & Business Media - 2004-03-19


You Must CONTINUE and create a free account to access unlimited downloads & streaming