Pages that link to "Item:Q2390933"
From MaRDI portal
The following pages link to Semantics, calculi, and analysis for object-oriented specifications (Q2390933):
Displaying 10 items.
- rCOS: a refinement calculus of object systems (Q854169) (← links)
- Inter-deriving semantic artifacts for object-oriented programming (Q980939) (← links)
- Denotational semantics of object specification (Q1127818) (← links)
- Semantics and logic of object calculi (Q1434358) (← links)
- A formal approach to object-oriented software engineering (Q1608926) (← links)
- Difunctorial semantics of object calculus (Q2848697) (← links)
- (Q4505699) (← links)
- (Q4665722) (← links)
- (Q4855345) (← links)
- Theory and Applications of Models of Computation (Q5898913) (← links)