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):
Displaying 30 items.
- A Maude environment for CafeOBJ (Q520244) (← links)
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Architectural specifications in CASL (Q699927) (← 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)
- How to make algebraic specifications more understandable: An experiment with the PLUSS specification language (Q1124317) (← links)
- CASL: the Common Algebraic Specification Language. (Q1853453) (← links)
- CASL reference manual. The complete documentation of the common algebraic specification language. (Q1881752) (← 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)
- Implementing local intervals in CASL (Q2870328) (← 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)
- The Foundations of Specification (Q3374096) (← 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)
- Recent Trends in Algebraic Development Techniques (Q5703987) (← links)
- Recent Trends in Algebraic Development Techniques (Q5703998) (← links)
