The following pages link to (Q3667933):
Displaying 11 items.
- Canonical constraints for parameterized data types (Q580959) (← links)
- Compatibility of parameter passing and implementation of parameterized data types (Q759479) (← links)
- A set-theoretic semantics for Clear (Q791329) (← links)
- On the existence of free models in abstract algebraic institutions (Q1085969) (← links)
- On observational equivalence and algebraic specification (Q1089796) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- Quasi-varieties in abstract algebraic institutions (Q1091132) (← links)
- Union and actualization of module specifications: Some compatibility results (Q1091801) (← links)
- Specifications in an arbitrary institution (Q1108775) (← links)
- Functorial theory of parameterized specifications in a general specification framework (Q1346622) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
