The following pages link to (Q3906461):
Displaying 15 items.
- The meaning of specifications I: Domains and initial models (Q673181) (← links)
- Compatibility of parameter passing and implementation of parameterized data types (Q759479) (← links)
- Implementation of data types by algebraic methods (Q792753) (← links)
- A constructive method for abstract algebraic software specification (Q796979) (← links)
- Algebraic domain equations (Q1054464) (← links)
- Parameter passing in algebraic specification languages (Q1056226) (← links)
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- A characterization of passing compatibility for parameterized specifications (Q1090101) (← links)
- Specifications in an arbitrary institution (Q1108775) (← links)
- Algebraic implementation of abstract data types (Q1163361) (← links)
- Partial abstract types (Q1169290) (← links)
- Functorial theory of parameterized specifications in a general specification framework (Q1346622) (← links)
- My ADT Shrine (Q2890319) (← links)
- (Q3482823) (← links)