The following pages link to (Q4230924):
Displaying 15 items.
- rCOS: a refinement calculus of object systems (Q854169) (← links)
- Graph transformations for object-oriented refinement (Q1019019) (← links)
- Semantics and logic of object calculi (Q1434358) (← links)
- Model-based specification (Q1607085) (← links)
- Relational interpretations of recursive types in an operational setting. (Q1854316) (← links)
- A program logic for resources (Q2463560) (← links)
- Invariants for non-hierarchical object structures (Q2873622) (← links)
- A recursive object algebra based on aggregation abstraction for manipulating complex objects (Q3139912) (← links)
- (Q3348403) (← links)
- (Q3432022) (← links)
- (Q4222755) (← links)
- (Q4281669) (← links)
- Hoare logic for Java in Isabelle/HOL (Q4329634) (← links)
- The recursive record semantics of objects revisited (Q4669643) (← links)
- Theoretical Computer Science (Q5395063) (← links)