The following pages link to (Q5457270):
Displaying 4 items.
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- Mechanising a type-safe model of multithreaded Java with a verified compiler (Q1663233) (← links)
- (Q4536605) (← links)
- Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic (Q5423862) (← links)