The following pages link to (Q4808846):
Displaying 6 items.
- Refactoring and representation independence for class hierarchies (Q428866) (← links)
- Angelic nondeterminism in the unifying theories of programming (Q851128) (← links)
- Observational purity and encapsulation (Q882452) (← links)
- State-level and value-level simulations in data refinement (Q1607097) (← links)
- Sound refactorings (Q2266944) (← links)
- On assertion-based encapsulation for object invariants and simulations (Q2643129) (← links)