FTfJP 2022
24th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2022)
Powered by
Conference Publishing Consulting

24th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2022), June 7, 2022, Berlin, Germany

FTfJP 2022 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page
Message from the Chairs

FTfJP 2022 A

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)
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)
Publisher's Version

FTfJP 2022 B

Automated Reasoning Repair
Amirfarhad Nilizadeh, Gary T. Leavens, and David R. Cok
(University of Central Florida, USA; Safer Software Consulting, USA)
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)
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)
Publisher's Version

FTfJP 2022 D

Documentation and Educational Materials for a 2nd Edition of the Java Modeling Language
David R. Cok
(Safer Software Consulting, USA)
Publisher's Version
Formalizing 𝜑-Calculus: A Purely Object-Oriented Calculus of Decorated Objects
Nikolai Kudasov and Violetta Sim
(Innopolis University, Russian Federation)
Publisher's Version

proc time: 0.96