Pages that link to "Item:Q1887669"
From MaRDI portal
The following pages link to Algebraic reasoning for object-oriented programming (Q1887669):
Displayed 8 items.
- Refactoring and representation independence for class hierarchies (Q428866) (← links)
- An algebraic approach to the design of compilers for object-oriented languages (Q607399) (← links)
- A theory of software product line refinement (Q714875) (← links)
- Sound refactorings (Q2266944) (← links)
- On assertion-based encapsulation for object invariants and simulations (Q2643129) (← links)
- A Static Semantics for Alloy and its Impact in Refactorings (Q2870336) (← links)
- Laws of Programming for References (Q2937790) (← links)
- Synchronizing Model and Program Refactoring (Q2999312) (← links)