Pages that link to "Item:Q1079358"
From MaRDI portal
The following pages link to Algebraic implementations preserve program correctness (Q1079358):
Displayed 7 items.
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- Crypt-equivalent algebraic specifications (Q1095646) (← links)
- Equational specification of partial higher-order algebras (Q1102736) (← links)
- Context induction: A proof principle for behavioural abstractions and algebraic implementations (Q1179807) (← links)
- A semi-algorithm for algebraic implementation proofs (Q1199928) (← links)
- Algebraic implementation of abstract data types: a survey of concepts and new compositionality results (Q4882492) (← links)