The following pages link to Data type specification (Q5402549):
Displayed 12 items.
- A constructive method for abstract algebraic software specification (Q796979) (← links)
- A view of computability on term algebras (Q1051428) (← links)
- Algebraic domain equations (Q1054464) (← links)
- Parameter passing in algebraic specification languages (Q1056226) (← links)
- A second order theory of data types (Q1092657) (← links)
- About the implementability and the power of equationally defined data abstractions (Q1157900) (← links)
- Complexity of algebraic implementations for abstract data types (Q1158952) (← links)
- Algebraic implementation of abstract data types (Q1163361) (← links)
- Data types with errors and exceptions (Q1196304) (← links)
- Order-Sorted Parameterization and Induction (Q3184745) (← links)
- Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties (Q3487457) (← links)
- Small specifications for large finite data structures (Q3922143) (← links)