FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

Disclaimer | Powered by EasyChair Smart Program