FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

B
Barwell, Adam	Towards a Refactoring Tool for Dependently-Typed Programs (work in progress)
Bereczky, Péter	A Machine-Checked Formalisation of Erlang Modules
Brady, Edwin	Towards a Refactoring Tool for Dependently-Typed Programs (work in progress)
Brown, Christopher	Towards a Refactoring Tool for Dependently-Typed Programs (work in progress)
Brozius, Wouter	Extending a Lemma Generation Approach for Rewriting Induction on Logically Constrained Term Rewriting Systems
H
Hagens, Kasper	Extending a Lemma Generation Approach for Rewriting Induction on Logically Constrained Term Rewriting Systems
Hegyi, Péter	Refactoring Steps for P4 (work in progress)
Horpácsi, Dániel	A Machine-Checked Formalisation of Erlang Modules
K
Kato, Takumi	On Transforming Imperative Programs into Logically Constrained Term Rewrite Systems via Injective Functions from Configurations to Terms
Kojima, Misaki	On Reducing Non-Occurrence of Specified Runtime Errors to All-Path Reachability Problems of Constrained Rewriting On Transforming Imperative Programs into Logically Constrained Term Rewrite Systems via Injective Functions from Configurations to Terms
Kop, Cynthia	Extending a Lemma Generation Approach for Rewriting Induction on Logically Constrained Term Rewriting Systems
L
Lukács, Dániel	Refactoring Steps for P4 (work in progress)
N
Nishida, Naoki	On Reducing Non-Occurrence of Specified Runtime Errors to All-Path Reachability Problems of Constrained Rewriting On Transforming Rewriting-Induction Proofs for Logical-Connective-Free Sequents into Cyclic Proofs On Transforming Imperative Programs into Logically Constrained Term Rewrite Systems via Injective Functions from Configurations to Terms
Nowak, David	Towards Corecursion Without Corecursion in Coq
R
Rusu, Vlad	Towards Corecursion Without Corecursion in Coq
S
Sabel, David	Program Equivalence in a Typed Probabilistic Call-by-Need Functional Language
Sarkar, Susmit	Towards a Refactoring Tool for Dependently-Typed Programs (work in progress)
Schmidt-Schauss, Manfred	Program Equivalence in a Typed Probabilistic Call-by-Need Functional Language
Sághi, György	A Machine-Checked Formalisation of Erlang Modules
T
Tejfel, Máté	Refactoring Steps for P4 (work in progress)
Thompson, Simon	Towards a Refactoring Tool for Dependently-Typed Programs (work in progress)
Y
Yamada, Akihisa	Transforming Text to (and from) XML
Z
Zhang, Shujun	On Transforming Rewriting-Induction Proofs for Logical-Connective-Free Sequents into Cyclic Proofs

Disclaimer | Powered by EasyChair Smart Program