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 22 items.
- A Maude environment for CafeOBJ (Q520244) (← links)
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- CoFI with Don Sannella (Q724933) (← links)
- Partial pushout semantics of generics in DOL (Q724938) (← links)
- A coalgebraic approach to the semantics of the ambient calculus (Q860882) (← links)
- On the weaving process of aspect-oriented product family algebra (Q898609) (← 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)
- Implicit Propagation in Structural Operational Semantics (Q2810689) (← links)
- Expander2: Program Verification Between Interaction and Automation (Q2873787) (← 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)
- Weak Bisimulation as a Congruence in MSOS (Q2945724) (← links)
- Integrating Maude into Hets (Q3067467) (← links)
- Order-Sorted Parameterization and Induction (Q3184745) (← links)
- Operational Termination of Membership Equational Programs: the Order-Sorted Way (Q5179140) (← links)
- The Foundational Legacy of ASL (Q5256352) (← links)
- The Distributed Ontology, Modeling and Specification Language – DOL (Q5350348) (← links)