default search action

combined dblp search
author search
venue search
publication search

ask others

17th FTfJP@ECOOP 2015: Prague, Czech Republic

> Home > Conferences and Workshops > FTfJP
> Home > Conferences and Workshops > ECOOP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/2015ftfjp
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/2015ftfjp
Rosemary Monahan:
Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015. ACM 2015, ISBN 978-1-4503-3656-7
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/AnconaF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/AnconaF15
Davide Ancona, Federico Frassetto:
A three-valued type system for true positives detection in Java-like languages. 1:1-1:7
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/CamposV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/CamposV15
Joana Campos, Vasco T. Vasconcelos:
Imperative objects with dependent types. 2:1-2:6
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/GerakiosFS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/GerakiosFS15
Prodromos Gerakios, George Fourtounis, Yannis Smaragdakis:
Foo: a minimal modern OO calculus. 3:1-3:4
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/AhmadiLN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/AhmadiLN15
Reza Ahmadi, K. Rustan M. Leino, Jyrki Nummenmaa:
Automatic verification of Dafny programs with traits. 4:1-4:5
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/BaoLE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/BaoLE15
Yuyan Bao, Gary T. Leavens, Gidon Ernst:
Conditional effects in fine-grained region logic. 5:1-5:6
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/BeckertKU15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/BeckertKU15
Bernhard Beckert, Vladimir Klebanov, Mattias Ulbrich:
Regression verification for Java using a secure information flow calculus. 6:1-6:6
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/000215
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/000215
Bart Jacobs:
Provably live exception handling. 7:1-7:4
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/KandzioraHBZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/KandzioraHBZ15
Jorne Kandziora, Marieke Huisman, Christoph Bockisch, Marina Zaharieva-Stojanovski:
Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML. 8:1-8: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.