FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
WST22 PROGRAM PAPERS: KEYWORD INDEX
Shortcuts: (ABCDFHILMNPRST
(
(Probabilistic) Integer Programs
A
at least three keywords must be specified
Automatic Complexity Analysis
B
battle of Hercules and Hydra
C
Certification
Closed Form
Complexity
complexity analysis
Confluence
Control-Flow Refinement
D
decidable subclasses
Decision Procedure
F
formalization
H
higher-order term rewriting
I
Integer Programs
integer transition systems
Isabelle/HOL
L
Linear Loops
loop acceleration
M
Match-bounds
N
non-termination
P
Program verification
R
Ranking Functions
Recursive path ordering
Right barren
S
simplification order
String rewriting
T
term rewriting
Termination
termination analysis
tuple interpretations