Pages that link to "Item:Q1323357"
From MaRDI portal
The following pages link to Toward formal development of programs from algebraic specifications: Parameterisation revisited (Q1323357):
Displayed 17 items.
- Generalized interpolation in CASL (Q851912) (← links)
- Modularising the specification of a small database system in extended ML (Q1184686) (← links)
- OBSCURE, a specification language for abstract data types (Q1323328) (← links)
- Toward formal development of programs from algebraic specifications: Parameterisation revisited (Q1323357) (← links)
- Structured theory presentations and logic representations (Q1326777) (← links)
- Functorial theory of parameterized specifications in a general specification framework (Q1346622) (← links)
- Essential concepts of algebraic specification and program development (Q1377322) (← links)
- The definition of Extended ML: A gentle introduction (Q1391731) (← links)
- Amalgamation in the semantics of CASL (Q1770431) (← links)
- CASL: the Common Algebraic Specification Language. (Q1853453) (← links)
- Logical systems for structured specifications. (Q1853454) (← links)
- Manipulating algebraic specifications with term-based and graph-based representations (Q1885933) (← links)
- Program specification and data refinement in type theory (Q4282807) (← links)
- (Q4510453) (← links)
- (Q4512408) (← links)
- (Q4525557) (← links)
- Subtyping dependent types (Q5958760) (← links)