Pages that link to "Item:Q801667"
From MaRDI portal
The following pages link to A systematic study of models of abstract data types (Q801667):
Displaying 13 items.
- Observational implementation of algebraic specifications (Q911245) (← links)
- Equational specification of partial higher-order algebras (Q1102736) (← links)
- Partial abstract types (Q1169290) (← links)
- Context induction: A proof principle for behavioural abstractions and algebraic implementations (Q1179807) (← links)
- A systematic catalogue of reusable abstract data types (Q1188908) (← links)
- On abstract data types presented by multiequations (Q1607218) (← links)
- Stores as homomorphisms and their transformations: A uniform approach to structured types in imperative languages (Q1806130) (← links)
- My ADT Shrine (Q2890319) (← links)
- (Q3482823) (← links)
- (Q3662598) (← links)
- (Q4023846) (← links)
- Observational implementations (Q5096143) (← links)
- (Q5856421) (← links)