Abstract is missing.
- Strong exception-safety for Java-like languagesGiovanni Lagorio, Marco Servetto. [doi]
- Complete coinductive subtyping for abstract compilation of object-oriented languagesDavide Ancona, Giovanni Lagorio. [doi]
- A theory of typestate-oriented programmingDarpan Saini, Joshua Sunshine, Jonathan Aldrich. [doi]
- Refactoring and representation independence for class hierarchies: extended abstractLeila Silva, David A. Naumann, Augusto Sampaio. [doi]
- Procedure-modular verification of control flow safety propertiesSiavash Soleimanifard, Dilian Gurov, Marieke Huisman. [doi]
- Towards a semantic model for Java wildcardsAlexander J. Summers, Nicholas R. Cameron, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou. [doi]
- Prototyping a tool environment for run-time assertion checking in JML with communication historiesFrank S. de Boer, Stijn de Gouw, Jurgen J. Vinju. [doi]
- Modular verification of linked lists with views via separation logicJonas Braband Jensen, Lars Birkedal, Peter Sestoft. [doi]
- Aliasing control with view-based typestateFilipe Militão, Jonathan Aldrich, Luís Caires. [doi]