FTfJP@ECOOP

Keyphrases

Publications

2023

Davide Ancona, Angelo Ferrando, Viviana Mascardi
Runtime Verification of Hash Code in Mutable Classes. FTfJP@ECOOP (2023)
Edward Lee, Kavin Satheeskumar, Ondrej Lhoták
Dependency-Free Capture Tracking. FTfJP@ECOOP (2023)
Frédéric Loulergue, Jolan Philippe
Towards Verified Scalable Parallel Computing with Coq and Spark. FTfJP@ECOOP (2023)
Kenny Zhuo Ming Lu, Daniel Yu Hian Low
Constructing Structured SSA from FJ. FTfJP@ECOOP (2023)
Niels Mommen, Bart Jacobs
Verifying C++ Dynamic Binding. FTfJP@ECOOP (2023)
Sergio Cardenas, Paul Leger, Hiroaki Fukuda, Nicolás Cardozo
Points-to Analysis for Context-Oriented JavaScript Programs. FTfJP@ECOOP (2023)
Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023 FTfJP@ECOOP (2023)
Baber Rehman
Correctness-by-Construction Meets Refinement Types. FTfJP@ECOOP (2023)
Pedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mário Florido
Gradual Guarantee for FJ with lambda-Expressions. FTfJP@ECOOP (2023)
Timon Böhler, David Richter, Mira Mezini
Using Rewrite Strategies for Efficient Functional Automatic Differentiation. FTfJP@ECOOP (2023)
Luka Miljak, Casper Bach Poulsen, Flip van Spaendonck
Verifying Well-Typedness Preservation of Refactorings using Scope Graphs. FTfJP@ECOOP (2023)

2022

2021

2020

2019

2017