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