default search action

combined dblp search
author search
venue search
publication search

ask others

23rd FTfJP@ECOOP 2021: Virtual Event, Denmark

> 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/2021ftfjp
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/2021ftfjp
David R. Cok:
FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, Virtual Event, Denmark, 13 July 2021. ACM 2021, ISBN 978-1-4503-8543-5
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/OrtonM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/OrtonM21
Indigo Orton, Alan Mycroft:
Source code patches from dynamic analysis. 1-8
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/SchoppX21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/SchoppX21
Ulrich Schöpp, Chuangjie Xu:
A generic type system for featherweight Java. 9-15
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/OrtonM21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/OrtonM21a
Indigo Orton, Alan Mycroft:
Refactoring traces to identify concurrency improvements. 16-23
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/PfeiferSU21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/PfeiferSU21
Wolfram Pfeifer, Jonas Schiffl, Mattias Ulbrich:
Reconstructing z3 proofs in KeY: there and back again. 24-31
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/FarrellRM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/FarrellRM21
Marie Farrell, Conor Reynolds, Rosemary Monahan:
Using dafny to solve the VerifyThis 2021 challenges. 32-38
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/MonteiroSWDH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/MonteiroSWDH21
Steven Monteiro, Erikas Sokolovas, Ellen Wittingen, Tom van Dijk, Marieke Huisman:
IntelliJML: a JML plugin for IntelliJ IDEA. 39-42
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/XingCD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/XingCD21
Weitian Xing, Yuanhui Cheng, Werner Dietl:
Ensuring correct cryptographic algorithm and provider usage at compile time. 43-50
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/GolovanovHJK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/GolovanovHJK21
Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen:
Behavioural separation with parallel usages. 51-58
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/PuccettiCG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/PuccettiCG21
Armand Puccetti, Gaël de Chalendar, Pierre-Yves Gibello:
Combining formal and machine learning techniques for the generation of JML specifications. 59-64
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/Cok21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/Cok21
David R. Cok:
JML and OpenJML for Java 16. 65-67

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.