default search action

combined dblp search
author search
venue search
publication search

ask others

22nd FTfJP@ECOOP 2020: Virtual Event

> 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/2020ftfjp
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/2020ftfjp
Wytse Oortwijn:
FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, Virtual Event, USA, July 23, 2020. ACM 2020, ISBN 978-1-4503-8186-4
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/Summers20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/Summers20
Alexander J. Summers:
Prusti: deductive verification for Rust (keynote). 1
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/BoerH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/BoerH20
Frank S. de Boer, Hans-Dieter A. Hiep:
History-based specification and verification of Java collections in KeY (keynote). 2-3
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/BarbieriDZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/BarbieriDZ20
Pietro Barbieri, Francesco Dagnino, Elena Zucca:
An inductive abstract semantics for coFJ. 4-9
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/HuismanW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/HuismanW20
Marieke Huisman, Anton Wijs:
Towards verified construction of correct and optimised GPU software. 10-14
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/KohlerMMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/KohlerMMS20
Mirko Köhler, Nafise Eskandani Masoule, Alessandro Margara, Guido Salvaneschi:
ConSysT: tunable, safe consistency meets object-oriented programming. 15-17
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/SantosJM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/SantosJM20
Joanna C. S. Santos, Reese A. Jones, Mehdi Mirakhorli:
Salsa: static analysis of serialization features. 18-25
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/ReinhardT020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/ReinhardT020
Tobias Reinhard, Amin Timany, Bart Jacobs:
A separation logic to verify termination of busy-waiting for abrupt program exit. 26-32

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.