default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th FTfJP@ECOOP 2009: Genova, Italy
- Anindya Banerjee:
Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009. ACM 2009, ISBN 978-1-60558-540-6 - Juan Chen:
A typed intermediate language for supporting interfaces. 1:1-1:6 - Bruno De Fraine:
Range parameterized types: use-site variance without the existential questions. 2:1-2:6 - Steffen van Bakel, Reuben N. S. Rowe
:
Semantic predicate types and approximation for class-based object oriented programming. 3:1-3:7 - Nicholas Cameron, Sophia Drossopoulou:
On subtyping, wildcards, and existential types. 4:1-4:7 - Robby, Patrice Chalin:
Preliminary design of a unified JML representation and software infrastructure. 5:1-5:7 - Radu Grigore, Julien Charles, Fintan Fairmichael, Joseph Kiniry:
Strongest postcondition of unstructured programs. 6:1-6:7 - Frédéric Besson:
CPA beats ∞-CFA. 7:1-7:6 - Marieke Huisman:
On the interplay between the semantics of Java's finally clauses and the JML run-time checker. 8:1-8:6 - Lorenzo Bettini, Sara Capecchi, Ferruccio Damiani:
A mechanism for flexible dynamic trait replacement. 9:1-9:7 - Alexander J. Summers:
Modelling Java requires state. 10:1-10:3
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 2024-11-07 20:40 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:
