TALK KEYWORD INDEX
This page contains an index consisting of author-provided keywords.
( | |
(Constraint) Logic Programming | |
A | |
Abstract Interpretation | |
Answer Set Programming | |
ASP | |
Assertion-based Debugging and Validation | |
Assertions | |
B | |
Blockchain | |
box model | |
C | |
Calculus | |
Checking | |
clone detection | |
CLP | |
Code Generation | |
complete lattices | |
Complexity Analysis | |
compositionality | |
Concurrent | |
conditional term rewriting systems | |
constraint solving | |
Constraints | |
Coq | |
D | |
data specification | |
database design | |
declarative diagnosis / algorithmic debugging | |
declarative programming | |
denotational semantics | |
distances | |
E | |
Ethereum | |
Event Calculus | |
Event driven hybrid systems | |
F | |
Finite state machines | |
functional dependency | |
G | |
Generic Code | |
goal-directed execution | |
graph transformation | |
H | |
Higher-Order | |
Higher-order logic | |
I | |
Incremental Static Analysis | |
induction principles | |
Interval logic | |
inversion | |
L | |
logic programming | |
M | |
metrics | |
minimal cover | |
Model | |
Modular design | |
N | |
natural language | |
Nominal C-Unification | |
Nominal Terms | |
O | |
optional type system | |
P | |
Parallelism | |
partial and total correctness | |
Partial Evaluation | |
port graph | |
progam transformation | |
program semantics | |
Program Synthesis | |
Program Transformation | |
Programming | |
Prolog | |
Prolog (programming language) | |
Property-based Testing | |
proximity relations | |
R | |
relational databases | |
Resource Usage Analysis | |
Runtime Verification | |
S | |
semi-inversion | |
SMT | |
Social choice | |
Specifications | |
Static Analysis | |
static verification | |
Superoptimization | |
Symbolic Execution | |
T | |
type theory | |
U | |
unification | |
V | |
verification | |
Verification of Functional Specifications |