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 – Author Index

Contents - Abstracts - Authors

A C D H K L M N O S W

Amato, Gianluca FTfJP '22: "On the Need for a Common API ..."
Cok, David R. FTfJP '22: "Automated Reasoning Repair ..." FTfJP '22: "Documentation and Educational ..."
De Koster, Joeri FTfJP '22: "A Graph-Based Formal Semantics ..."
De Meuter, Wolfgang FTfJP '22: "A Graph-Based Formal Semantics ..."
Homer, Michael FTfJP '22: "Using Functional Reactive ..."
Kudasov, Nikolai FTfJP '22: "Formalizing 𝜑-Calculus: ..."
Leavens, Gary T. FTfJP '22: "Automated Reasoning Repair ..."
Mackay, Julian FTfJP '22: "Rusty Links in Local Chains ..."
Meo, Maria Chiara FTfJP '22: "On the Need for a Common API ..."
Nilizadeh, Amirfarhad FTfJP '22: "Automated Reasoning Repair ..."
Noble, James FTfJP '22: "Rusty Links in Local Chains ..."
Oeyen, Bjarno FTfJP '22: "A Graph-Based Formal Semantics ..."
Scozzari, Francesca FTfJP '22: "On the Need for a Common API ..."
Servetto, Marco FTfJP '22: "Using Functional Reactive ..."
Sim, Violetta FTfJP '22: "Formalizing 𝜑-Calculus: ..."
Webster, Nick FTfJP '22: "Using Functional Reactive ..."
Wrigstad, Tobias FTfJP '22: "Rusty Links in Local Chains ..."

17 authors

proc time: 3.88