The following pages link to (Q3917479):
Displayed 6 items.
- Semantics of algorithmic languages (Q760200) (← links)
- A constructive method for abstract algebraic software specification (Q796979) (← links)
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- Complexity of algebraic implementations for abstract data types (Q1158952) (← links)
- Specification of abstract dynamic-data types: A temporal logic approach (Q1391733) (← links)