default search action
19th FTfJP@ECOOP 2017: Barcelona , Spain
- Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, Barcelona, Spain, June 20, 2017. ACM 2017, ISBN 978-1-4503-5098-3
- Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh:
Software Model Checking: A Promising Approach to Verify Mobile App Security: A Position Paper. 1:1-1:2 - Moussa Amrani, Pierre-Yves Schobbens:
Formal Analysis of Object-Oriented Mograms. 2:1-2:6 - Moez A. AbdelGawad:
Towards a Java Subtyping Operad. 3:1-3:6 - Youssef El Bakouny, Tristan Crolard, Dani Mezher:
A Coq-based synthesis of Scala programs which are correct-by-construction. 4:1-4:2 - Julia Belyakova:
Generic Approach to Certified Static Checking of Module-like Constructs. 5:1-5:2 - Paola Giannini, Marco Servetto, Elena Zucca:
Tracing sharing in an imperative pure calculus: extended abstract. 6:1-6:6 - Marianna Rapoport, Ondrej Lhoták:
Mutable WadlerFest DOT. 7:1-7:6 - Alessandro Margara, Guido Salvaneschi:
Consistency Types for Safe and Efficient Distributed Programming. 8:1-8:2 - Dustin Rhodes, Cormac Flanagan, Stephen N. Freund:
Correctness of Partial Escape Analysis for Multithreading Optimization. 9:1-9:6 - Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi:
Parametric Trace Expressions for Runtime Verification of Java-Like Programs. 10:1-10:6
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.