Pages that link to "Item:Q1422256"
From MaRDI portal
The following pages link to CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM. (Q1422256):
Displayed 11 items.
- A coalgebraic approach to the semantics of the ambient calculus (Q860882) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- Constructor-based observational logic (Q2369030) (← links)
- A formally grounded software specification method (Q2369031) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
- My ADT Shrine (Q2890319) (← links)
- Lambda Expressions in Casl Architectural Specifications (Q2890326) (← links)
- Compositional Modelling and Reasoning in an Institution for Processes and Data (Q2890337) (← links)
- Integrating Maude into Hets (Q3067467) (← links)
- Order-Sorted Parameterization and Induction (Q3184745) (← links)