default search action

combined dblp search
author search
venue search
publication search

ask others

25th FTfJP@ECOOP 2023: Seattle, WA, USA

> 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/ftfjp/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftfjp/2023
Aaron Tomb:
Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023. ACM 2023
- view
  authority control:
- export record
  dblp key:
  - conf/ftfjp/Mommen023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftfjp/Mommen023
Niels Mommen, Bart Jacobs:
Verifying C++ Dynamic Binding. 1-7
- view
  authority control:
- export record
  dblp key:
  - conf/ftfjp/Rehman23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftfjp/Rehman23
Baber Rehman:
Correctness-by-Construction Meets Refinement Types. 8-10
- view
  authority control:
- export record
  dblp key:
  - conf/ftfjp/LoulergueP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftfjp/LoulergueP23
Frédéric Loulergue, Jolan Philippe:
Towards Verified Scalable Parallel Computing with Coq and Spark. 11-17
- view
  authority control:
- export record
  dblp key:
  - conf/ftfjp/CardenasLFC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftfjp/CardenasLFC23
Sergio Cardenas, Paul Leger, Hiroaki Fukuda, Nicolás Cardozo:
Points-to Analysis for Context-Oriented JavaScript Programs. 18-24
- view
  authority control:
- export record
  dblp key:
  - conf/ftfjp/Ancona0M23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftfjp/Ancona0M23
Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Runtime Verification of Hash Code in Mutable Classes. 25-31
- view
  authority control:
- export record
  dblp key:
  - conf/ftfjp/AngeloBDF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftfjp/AngeloBDF23
Pedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mário Florido:
Gradual Guarantee for FJ with lambda-Expressions. 32-38
- view
  authority control:
- export record
  dblp key:
  - conf/ftfjp/LeeSL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftfjp/LeeSL23
Edward Lee, Kavin Satheeskumar, Ondrej Lhoták:
Dependency-Free Capture Tracking. 39-43
- view
  authority control:
- export record
  dblp key:
  - conf/ftfjp/MiljakPS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftfjp/MiljakPS23
Luka Miljak, Casper Bach Poulsen, Flip van Spaendonck:
Verifying Well-Typedness Preservation of Refactorings using Scope Graphs. 44-50
- view
  authority control:
- export record
  dblp key:
  - conf/ftfjp/BohlerRM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftfjp/BohlerRM23
Timon Böhler, David Richter, Mira Mezini:
Using Rewrite Strategies for Efficient Functional Automatic Differentiation. 51-57
- view
  authority control:
- export record
  dblp key:
  - conf/ftfjp/LuL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftfjp/LuL23
Kenny Zhuo Ming Lu, Daniel Yu Hian Low:
Constructing Structured SSA from FJ. 58-64

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.