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
Article: ftfjp22foreword-fm000-p (type: Frontmatter) doi:
Message from the Chairs
Article: ftfjp22foreword-fm001-p (type: Frontmatter) doi:

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 Article: ftfjp22main-id9406-p (type: Short Paper (3 pages)) doi:10.1145/3611096.3611097
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 Article: ftfjp22main-id382-p (type: Full Paper (8 pages)) doi:10.1145/3611096.3611098

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 Article: ftfjp22main-id9061-p (type: Short Paper (3 pages)) doi:10.1145/3611096.3611099
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 Article: ftfjp22main-id4753-p (type: Full Paper (8 pages)) doi:10.1145/3611096.3611100
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 Article: ftfjp22main-id3977-p (type: Full Paper (8 pages)) doi:10.1145/3611096.3611101

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 Article: ftfjp22main-id9035-p (type: Short Paper (3 pages)) doi:10.1145/3611096.3611102
Formalizing 𝜑-Calculus: A Purely Object-Oriented Calculus of Decorated Objects
Nikolai Kudasov and Violetta Sim
(Innopolis University, Russian Federation)
Publisher's Version Article: ftfjp22main-id7238-p (type: Full Paper (8 pages)) doi:10.1145/3611096.3611103

proc time: 0.02