Abstract is missing.
- Towards a Java Subtyping OperadMoez A. AbdelGawad. [doi]
- Consistency Types for Safe and Efficient Distributed ProgrammingAlessandro Margara, Guido Salvaneschi. [doi]
- Tracing sharing in an imperative pure calculus: extended abstractPaola Giannini, Marco Servetto, Elena Zucca. [doi]
- Software Model Checking: A Promising Approach to Verify Mobile App Security: A Position PaperIrina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh. [doi]
- Parametric Trace Expressions for Runtime Verification of Java-Like ProgramsDavide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi. [doi]
- A Coq-based synthesis of Scala programs which are correct-by-constructionYoussef El Bakouny, Tristan Crolard, Dani Mezher. [doi]
- Correctness of Partial Escape Analysis for Multithreading OptimizationDustin Rhodes, Cormac Flanagan, Stephen N. Freund. [doi]
- Mutable WadlerFest DOTMarianna Rapoport, Ondrej Lhoták. [doi]
- Formal Analysis of Object-Oriented MogramsMoussa Amrani, Pierre-Yves Schobbens. [doi]
- Generic Approach to Certified Static Checking of Module-like ConstructsJulia Belyakova. [doi]