FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
WPTE EXTENDED ABSTRACTS: KEYWORD INDEX
Shortcuts: ACDEFGIMNOPRSTV
A
Ada programming
C
call-by-need evaluation
Constrained Horn Clauses
constrained rewriting
contextual equivalence
correctness
D
deduction
E
Eldarica
F
functional programming
G
GNATProve
I
imperative programs
M
model checking
N
narrowing
O
observational equivalence
operational semantics
P
parallel improvements
partial correctness
PDR-Z3
program transformation
Program Verification
R
reachability
reachability logic
regular tree grammar
S
semantics
static analyzers
T
term rewriting
termination
total correctness
V
Verification