FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

C
Conchon, Sylvain	Declarative Parameterized Verification of Topology-sensitive Distributed Protocols (PDF, talk)
D
De Angelis, Emanuele	Metaprogramming and symbolic execution for detecting runtime errors in Erlang programs (PDF, talk)
Delzanno, Giorgio	Declarative Parameterized Verification of Topology-sensitive Distributed Protocols (PDF, talk)
F
Ferrando, Angelo	Declarative Parameterized Verification of Topology-sensitive Distributed Protocols (PDF, talk)
Fioravanti, Fabio	Metaprogramming and symbolic execution for detecting runtime errors in Erlang programs (PDF, talk)
G
Ganty, Pierre	Tree dimension in verification of constrained Horn clauses (PDF)
H
Harris, William	Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions (PDF, talk)
Heath, David	Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions (PDF, talk)
K
Komendantskaya, Ekaterina	Towards Coinductive Theory Exploration in Horn Clause Logic: Extended Abstract (PDF, talk)
L
Li, Yue	Towards Coinductive Theory Exploration in Horn Clause Logic: Extended Abstract (PDF, talk)
P
Palacios, Adrián	Metaprogramming and symbolic execution for detecting runtime errors in Erlang programs (PDF, talk)
Pettorossi, Alberto	Metaprogramming and symbolic execution for detecting runtime errors in Erlang programs (PDF, talk)
Proietti, Maurizio	Metaprogramming and symbolic execution for detecting runtime errors in Erlang programs (PDF, talk)
R
Ravara, António	A simple functional presentation and an inductive correctness proof of the Horn algorithm (PDF, talk)
U
Unno, Hiroshi	Horn Clauses and Beyond for Relational and Temporal Program Verification (PDF)
Z
Zhou, Qi	Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program