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):
Displaying 24 items.
- CoFI with Don Sannella (Q724933) (← links)
- 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)
- Compositionality results for different types of parameterization and parameter passing in specification languages (Q5044722) (← links)
- Semantic typing for parametric algebraic specifications (Q5096390) (← links)
- Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives (Q5096765) (← links)
- Toward formal development of programs from algebraic specifications: Model-theoretic foundations (Q5204355) (← links)
- The Foundational Legacy of ASL (Q5256352) (← links)
- Property-oriented semantics of structured specifications (Q5740355) (← links)
- Subtyping dependent types (Q5958760) (← links)
