Abstract is missing.
- A sip of the ChaliceAzalea Raad, Sophia Drossopoulou. [doi]
- Coinductive big-step operational semantics for type soundness of Java-like languagesDavide Ancona. [doi]
- Automatic inference of model fields and their representationMihai Balint, Marius Minea. [doi]
- Specification-based sketching with SketchHesam Samimi, Kaushik Rajan. [doi]
- On the interplay of exception handling and design by contract: an aspect-oriented recovery approachHenrique Rebêlo, Roberta Coelho, Ricardo M. F. Lima, Gary T. Leavens, Marieke Huisman, Alexandre Mota, Fernando Castor. [doi]
- Harmless compiler pluginsNathaniel Nystrom. [doi]
- Guarded type promotion: eliminating redundant casts in JavaJohnni Winther. [doi]
- Verifying traits: a proof system for fine-grained reuseFerruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer. [doi]
- Fractional permissions without the fractionsStefan Heule, K. Rustan M. Leino, Peter Müller 0001, Alexander J. Summers. [doi]