FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

This page contains an index consisting of author-provided keywords.

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

Disclaimer | Powered by EasyChair Smart Program