FTfJP 2022
24th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2022)

Title Page

Message from the Chairs

Rusty Links in Local Chains
James Noble , Julian Mackay , and Tobias Wrigstad 
(Creative Research & Programming, New Zealand; Victoria University of Wellington, New Zealand; Uppsala University, Sweden)

Using Functional Reactive Programming to Define Safe Actor Systems
Nick Webster , Marco Servetto , and Michael Homer 
(Victoria University of Wellington, New Zealand)

Automated Reasoning Repair
Amirfarhad Nilizadeh , Gary T. Leavens , and David R. Cok 
(University of Central Florida, USA; Safer Software Consulting, USA)

On the Need for a Common API for Abstract Domains of Object-Oriented Programs
Gianluca Amato , Maria Chiara Meo , and Francesca Scozzari 
(Università di Chieti-Pescara, Italy)

A Graph-Based Formal Semantics of Reactive Programming from First Principles
Bjarno Oeyen , Joeri De Koster , and Wolfgang De Meuter 
(Vrije Universiteit Brussel, Belgium)

Documentation and Educational Materials for a 2nd Edition of the Java Modeling Language
David R. Cok 
(Safer Software Consulting, USA)

Formalizing 𝜑-Calculus: A Purely Object-Oriented Calculus of Decorated Objects
Nikolai Kudasov  and Violetta Sim 
(Innopolis University, Russian Federation)