The following pages link to A type system for JVM threads (Q1853613):
Displaying 5 items.
- Safe locking for multi-threaded Java with exceptions (Q444468) (← links)
- Tool-assisted specification and verification of typed low-level languages (Q861687) (← links)
- A new type system for JVM lock primitives (Q949169) (← links)
- A type system for the Java bytecode language and verifier (Q1405989) (← links)
- (Q4536605) (← links)