default search action

combined dblp search
author search
venue search
publication search

ask others

19th FTfJP@ECOOP 2017: Barcelona , Spain

> 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/2017ftfjp
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/2017ftfjp
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
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/AsavoaeNRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/AsavoaeNRS17
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
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/AmraniS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/AmraniS17
Moussa Amrani, Pierre-Yves Schobbens:
Formal Analysis of Object-Oriented Mograms. 2:1-2:6
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/AbdelGawad17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/AbdelGawad17
Moez A. AbdelGawad:
Towards a Java Subtyping Operad. 3:1-3:6
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/BakounyCM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/BakounyCM17
Youssef El Bakouny, Tristan Crolard, Dani Mezher:
A Coq-based synthesis of Scala programs which are correct-by-construction. 4:1-4:2
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/Belyakova17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/Belyakova17
Julia Belyakova:
Generic Approach to Certified Static Checking of Module-like Constructs. 5:1-5:2
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/GianniniSZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/GianniniSZ17
Paola Giannini, Marco Servetto, Elena Zucca:
Tracing sharing in an imperative pure calculus: extended abstract. 6:1-6:6
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/RapoportL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/RapoportL17
Marianna Rapoport, Ondrej Lhoták:
Mutable WadlerFest DOT. 7:1-7:6
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/MargaraS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/MargaraS17
Alessandro Margara, Guido Salvaneschi:
Consistency Types for Safe and Efficient Distributed Programming. 8:1-8:2
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/RhodesFF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/RhodesFF17
Dustin Rhodes, Cormac Flanagan, Stephen N. Freund:
Correctness of Partial Escape Analysis for Multithreading Optimization. 9:1-9:6
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/AnconaFFM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/AnconaFFM17
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.