default search action

combined dblp search
author search
venue search
publication search

ask others

12th FTfJP@ECOOP 2010: Maribor, Slovenia

> 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/2010ftfjp
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/2010ftfjp
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP 2010, Maribor, Slovenia, June 22, 2010. ACM 2010, ISBN 978-1-4503-0540-2
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/AnconaL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/AnconaL10
Davide Ancona, Giovanni Lagorio:
Complete coinductive subtyping for abstract compilation of object-oriented languages. 1:1-1:7
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/SummersCDD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/SummersCDD10
Alexander J. Summers, Nicholas Cameron, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou:
Towards a semantic model for Java wildcards. 2:1-2:7
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/LagorioS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/LagorioS10
Giovanni Lagorio, Marco Servetto:
Strong exception-safety for Java-like languages. 3:1-3:7
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/JensenBS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/JensenBS10
Jonas Braband Jensen, Lars Birkedal, Peter Sestoft:
Modular verification of linked lists with views via separation logic. 4:1-4:7
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/SoleimanifardGH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/SoleimanifardGH10
Siavash Soleimanifard, Dilian Gurov, Marieke Huisman:
Procedure-modular verification of control flow safety properties. 5:1-5:7
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/BoerGV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/BoerGV10
Frank S. de Boer, Stijn de Gouw, Jurgen J. Vinju:
Prototyping a tool environment for run-time assertion checking in JML with communication histories. 6:1-6:7
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/MilitaoAC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/MilitaoAC10
Filipe Militão, Jonathan Aldrich, Luís Caires:
Aliasing control with view-based typestate. 7:1-7:7
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/SilvaNS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/SilvaNS10
Leila Silva, David A. Naumann, Augusto Sampaio:
Refactoring and representation independence for class hierarchies: extended abstract. 8:1-8:7
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/SainiSA10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/SainiSA10
Darpan Saini, Joshua Sunshine, Jonathan Aldrich:
A theory of typestate-oriented programming. 9:1-9:7

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.