default search action

combined dblp search
author search
venue search
publication search

ask others

16th FTfJP@ECOOP 2014: Uppsala, Sweden

> 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/2014ftfjp
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/2014ftfjp
David J. Pearce:
Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014. ACM 2014, ISBN 978-1-4503-2866-1
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/Ancona14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/Ancona14
Davide Ancona:
How to prove type soundness of Java-like languages without forgoing big-step semantics. 1:1-1:6
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/Boyland0SS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/Boyland0SS14
John Tang Boyland, Peter Müller, Malte Schwerhoff, Alexander J. Summers:
Constraint Semantics for Abstract Read Permissions. 2:1-2:6
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/JonesN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/JonesN14
Timothy Jones, James Noble:
Tinygrace: A Simple, Safe, and Structurally Typed Language. 3:1-3:6
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/Zaharieva-Stojanovski14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/Zaharieva-Stojanovski14
Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom:
Verifying Functional Behaviour of Concurrent Programs. 4:1-4:6
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/NobleD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/NobleD14
James Noble, Sophia Drossopoulou:
Rationally Reconstructing the Escrow Example. 5:1-5: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.