The following pages link to (Q2722012):
Displaying 8 items.
- Mechanising a type-safe model of multithreaded Java with a verified compiler (Q1663233) (← links)
- Coalgebras and monads in the semantics of Java (Q1853752) (← links)
- Weakest pre-condition reasoning for Java programs with JML annotations (Q1881666) (← links)
- The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML (Q1881670) (← links)
- The safety-critical Java memory model formalised (Q1941888) (← links)
- Java Memory Model-Aware Model Checking (Q2894274) (← links)
- (Q4413677) (← links)
- The Java Memory Model: Operationally, Denotationally, Axiomatically (Q5756503) (← links)