Pages that link to "Item:Q1853453"
From MaRDI portal
The following pages link to CASL: the Common Algebraic Specification Language. (Q1853453):
Displayed 12 items.
- Typed generic traversal with term rewriting strategies (Q1394988) (← links)
- Amalgamation in the semantics of CASL (Q1770431) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- Observational logic, constructor-based logic, and their duality. (Q1874280) (← links)
- Modular structural operational semantics (Q1878712) (← links)
- Interpolation in Grothendieck institutions (Q1884940) (← links)
- Manipulating algebraic specifications with term-based and graph-based representations (Q1885933) (← links)
- CSP-CASL -- a new integration of process algebra and algebraic specification (Q2368940) (← links)
- Constructor-based observational logic (Q2369030) (← links)
- A formally grounded software specification method (Q2369031) (← links)
- Behavioural specification for hierarchical object composition (Q2571203) (← links)
- Observational interpretation of Casl specifications (Q5458070) (← links)