default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18th FTfJP@ECOOP 2016: Rome, Italy
- Vladimir Klebanov:
Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016. ACM 2016, ISBN 978-1-4503-4439-5 - Timothy Jones, David J. Pearce:
A Mechanical Soundness Proof for Subtyping Over Recursive Types. 1 - Davide Ancona, Andrea Corradi:
A formal account of SSA in Java-like languages. 2 - Jens Dietrich, Nicholas Hollingum, Bernhard Scholz:
A Note on the Soundness of Difference Propagation. 3 - Jonathan Hoyland, Matthew Hague:
Generating Concurrency Checks Automatically. 4 - Gurvan Cabon, David Cachera, David Pichardie:
An Extended Buffered Memory Model With Full Reorderings. 5 - Paola Giannini, Marco Servetto, Elena Zucca:
Coupling catch clauses with local declarations. 6 - Bart Jacobs:
Partial Solutions to VerifyThis 2016 Challenges 2 and 3 with VeriFast. 7 - Tomoyuki Aotani, Gary T. Leavens:
Towards Modular Reasoning for Context-Oriented Programs. 8 - Davide Ancona, Francesco Dagnino, Elena Zucca:
Towards a model of corecursion with default. 9 - Sophia Drossopoulou, James Noble, Mark S. Miller, Toby C. Murray:
Permission and Authority Revisited towards a formalisation. 10
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.
last updated on 2025-12-05 22:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
