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)


@InProceedings{FTfJP22p1, author = {James Noble and Julian Mackay and Tobias Wrigstad}, title = {Rusty Links in Local Chains}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3611096.3611097}, year = {2022}, } Publisher's Version

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


@InProceedings{FTfJP22p9, author = {Nick Webster and Marco Servetto and Michael Homer}, title = {Using Functional Reactive Programming to Define Safe Actor Systems}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {9-8}, doi = {10.1145/3611096.3611098}, year = {2022}, } Publisher's Version

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


@InProceedings{FTfJP22p17, author = {Amirfarhad Nilizadeh and Gary T. Leavens and David R. Cok}, title = {Automated Reasoning Repair}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {17-16}, doi = {10.1145/3611096.3611099}, year = {2022}, } Publisher's Version

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)


@InProceedings{FTfJP22p25, author = {Gianluca Amato and Maria Chiara Meo and Francesca Scozzari}, title = {On the Need for a Common API for Abstract Domains of Object-Oriented Programs}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {25-24}, doi = {10.1145/3611096.3611100}, year = {2022}, } Publisher's Version

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


@InProceedings{FTfJP22p33, author = {Bjarno Oeyen and Joeri De Koster and Wolfgang De Meuter}, title = {A Graph-Based Formal Semantics of Reactive Programming from First Principles}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {33-32}, doi = {10.1145/3611096.3611101}, year = {2022}, } Publisher's Version

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


@InProceedings{FTfJP22p41, author = {David R. Cok}, title = {Documentation and Educational Materials for a 2nd Edition of the Java Modeling Language}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {41-40}, doi = {10.1145/3611096.3611102}, year = {2022}, } Publisher's Version

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


@InProceedings{FTfJP22p49, author = {Nikolai Kudasov and Violetta Sim}, title = {Formalizing 𝜑-Calculus: A Purely Object-Oriented Calculus of Decorated Objects}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {49-48}, doi = {10.1145/3611096.3611103}, year = {2022}, } Publisher's Version