The following pages link to (Q4160385):
Displaying 8 items.
- 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)
- Parameter passing in algebraic specification languages (Q1056226) (← links)
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories (Q1059404) (← links)
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories (Q1059405) (← links)
- Complexity of algebraic implementations for abstract data types (Q1158952) (← links)
- Algebraic implementation of abstract data types (Q1163361) (← links)
