Pages that link to "Item:Q1887669"
From MaRDI portal
The following pages link to Algebraic reasoning for object-oriented programming (Q1887669):
Displaying 16 items.
- Refactoring and representation independence for class hierarchies (Q428866) (← links)
- LP-structures analysis: substantiation of refactoring in object-oriented programming (Q462041) (← links)
- An algebraic approach to the design of compilers for object-oriented languages (Q607399) (← links)
- A theory of software product line refinement (Q714875) (← links)
- LP structures on type lattices and some refactoring problems (Q1040323) (← links)
- Reasoning algebraically about loops (Q1306570) (← links)
- Object oriented protoconcepts and logics for double and pure double Boolean algebras (Q2096570) (← links)
- Sound refactorings (Q2266944) (← links)
- On assertion-based encapsulation for object invariants and simulations (Q2643129) (← links)
- Refactoring by transformation (Q2844832) (← 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)
- (Q4005171) (← links)
- (Q4287504) (← links)
- An algebraic approach to formalization of object-orientation<sup>*</sup> (Q4876361) (← links)