FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

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

A
ABNF
abstract interpretation
ACL2
architecture
Arithmetic
Array
Automatic Program Verification
B
binarized neural networks
bounded model-checking
C
CakeML
Certificate checking
Certifying Compilation
concurrency
constrained rewriting
Coq
Correctness proofs
counterexamples
D
data flow
deductive verification
E
Ethereum
Executable Harnesses
F
first-order logic
Formal Methods
Formalisation
function summaries
functional programming
G
grammar
H
hardness of approximation
HOL
J
Java
Java byte-code
JML
L
lattice
lattice traversal
loops
low-level language
M
MapReduce framework
Mathematical Induction
Memory consistency models
ML
Multi-dimensional
N
Nested
nontermination
O
OpenJML
P
parsing
Privacy by design
Program Debugging
program transformation
Program Verification
Prolog
Proof-Producing Compilation
R
Recurrences
Relational Equivalence Verification
S
Security
semantics
side-channels
Single Transferable Vote scheme
Smart contracts
SMT
SMT solvers
Software model checking
software model-checking
Solidity
Static Analysis
store buffer reduction
T
theorem proving
theory
theory of arrays
tree automata
type systems
Type theory
V
Verification
W
Warren Abstract Machine