The following pages link to (Q3883462):
Displayed 10 items.
- Semantics of algorithmic languages (Q760200) (← links)
- A systematic study of models of abstract data types (Q801667) (← links)
- Parameter passing in algebraic specification languages (Q1056226) (← links)
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- A second order theory of data types (Q1092657) (← links)
- Crypt-equivalent algebraic specifications (Q1095646) (← links)
- Algebraic specifications of computable and semicomputable data types (Q1098613) (← links)
- Equational specification of partial higher-order algebras (Q1102736) (← links)
- Algebraic implementation of abstract data types (Q1163361) (← links)
- (Q3662598) (← links)