FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

C
coinduction	Towards Coinductive Theory Exploration in Horn Clause Logic: Extended Abstract (PDF, talk)
Coinductive Invariants	Towards Coinductive Theory Exploration in Horn Clause Logic: Extended Abstract (PDF, talk)
Constraint Logic Programming	Metaprogramming and symbolic execution for detecting runtime errors in Erlang programs (PDF, talk)
Constraint Solving	Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions (PDF, talk)
Corecursion	Towards Coinductive Theory Exploration in Horn Clause Logic: Extended Abstract (PDF, talk)
Correctness proof	A simple functional presentation and an inductive correctness proof of the Horn algorithm (PDF, talk)
D
Distributed Protocols	Declarative Parameterized Verification of Topology-sensitive Distributed Protocols (PDF, talk)
E
Erlang	Metaprogramming and symbolic execution for detecting runtime errors in Erlang programs (PDF, talk)
F
Fix-points	A simple functional presentation and an inductive correctness proof of the Horn algorithm (PDF, talk)
H
Horn clauses	Towards Coinductive Theory Exploration in Horn Clause Logic: Extended Abstract (PDF, talk)
Horn propositional satisfiability algorithm	A simple functional presentation and an inductive correctness proof of the Horn algorithm (PDF, talk)
I
Inductive Definitions	A simple functional presentation and an inductive correctness proof of the Horn algorithm (PDF, talk)
Interpolation	Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions (PDF, talk)
P
parameterized verification	Declarative Parameterized Verification of Topology-sensitive Distributed Protocols (PDF, talk)
Program Verification	Metaprogramming and symbolic execution for detecting runtime errors in Erlang programs (PDF, talk)
R
recursion-free constrained Horn clause	Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions (PDF, talk)
Recursive functions	A simple functional presentation and an inductive correctness proof of the Horn algorithm (PDF, talk)
S
SMT solvers	Declarative Parameterized Verification of Topology-sensitive Distributed Protocols (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program