The following pages link to (Q4190110):
Displayed 10 items.
- Algebraic and operational semantics of specifications allowing exceptions and errors (Q759478) (← links)
- Compatibility of parameter passing and implementation of parameterized data types (Q759479) (← links)
- Semantics of algorithmic languages (Q760200) (← links)
- A constructive method for abstract algebraic software specification (Q796979) (← links)
- A systematic study of models of abstract data types (Q801667) (← links)
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- A second order theory of data types (Q1092657) (← links)
- Algebraic specifications of computable and semicomputable data types (Q1098613) (← links)
- Floyd's principle, correctness theories and program equivalence (Q1158948) (← links)
- (Q3662598) (← links)