Abstract is missing.
- Regression verification for Java using a secure information flow calculusBernhard Beckert, Vladimir Klebanov, Mattias Ulbrich. [doi]
- Conditional effects in fine-grained region logicYuyan Bao, Gary T. Leavens, Gidon Ernst. [doi]
- A three-valued type system for true positives detection in Java-like languagesDavide Ancona, Federico Frassetto. [doi]
- Provably live exception handlingBart Jacobs 0002. [doi]
- Foo: a minimal modern OO calculusProdromos Gerakios, George Fourtounis, Yannis Smaragdakis. [doi]
- Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJMLJorne Kandziora, Marieke Huisman, Christoph Bockisch, Marina Zaharieva-Stojanovski. [doi]
- Automatic verification of Dafny programs with traitsReza Ahmadi, K. Rustan M. Leino, Jyrki Nummenmaa. [doi]
- Imperative objects with dependent typesJoana Campos, Vasco T. Vasconcelos. [doi]