The following pages link to (Q3686016):
Displaying 6 items.
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- On the implementation of abstract data types by programming language constructs (Q1089793) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- Essential concepts of algebraic specification and program development (Q1377322) (← links)
- Abstraction over implementation structure with symmetrically encapsulated multimethods (Q2442958) (← links)
- Toward formal development of programs from algebraic specifications: Model-theoretic foundations (Q5204355) (← links)