Pages that link to "Item:Q1586166"

The following pages link to Class refinement as semantics of correct object substitutability (Q1586166):

Displaying 4 items.

• rCOS: a refinement calculus of object systems (Q854169) (← links)
• Graph transformations for object-oriented refinement (Q1019019) (← links)
• Stepwise refinement of heap-manipulating code in Chalice (Q1941869) (← links)
• A Representation-Independent Behavioral Semantics for Object-Oriented Components (Q5428910) (← links)