default search action

combined dblp search
author search
venue search
publication search

ask others

13th FTfJP@ECOOP 2011: Lancaster, United Kingdom

> 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/2011ftfjp
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/2011ftfjp
Stephen N. Freund:
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011. ACM 2011, ISBN 978-1-4503-0893-9
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/HeuleL0S11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/HeuleL0S11
Stefan Heule, K. Rustan M. Leino, Peter Müller, Alexander J. Summers:
Fractional permissions without the fractions. 1:1-1:6
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/RaadD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/RaadD11
Azalea Raad, Sophia Drossopoulou:
A sip of the Chalice. 2:1-2:30
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/SamimiR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/SamimiR11
Hesam Samimi, Kaushik Rajan:
Specification-based sketching with Sketch. 3:1-3:7
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/Nystrom11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/Nystrom11
Nathaniel Nystrom:
Harmless compiler plugins. 4:1-4:6
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/Ancona11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/Ancona11
Davide Ancona:
Coinductive big-step operational semantics for type soundness of Java-like languages. 5:1-5:6
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/Winther11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/Winther11
Johnni Winther:
Guarded type promotion: eliminating redundant casts in Java. 6:1-6:8
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/RebeloCLLHMC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/RebeloCLLHMC11
Henrique Rebêlo, Roberta Coelho, Ricardo M. F. Lima, Gary T. Leavens, Marieke Huisman, Alexandre Mota, Fernando Castor:
On the interplay of exception handling and design by contract: an aspect-oriented recovery approach. 7:1-7:6
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/DamianiDJS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/DamianiDJS11
Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer:
Verifying traits: a proof system for fine-grained reuse. 8:1-8:6
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/BalintM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/BalintM11
Mihai Balint, Marius Minea:
Automatic inference of model fields and their representation. 9:1-9: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.