TALK KEYWORD INDEX
This page contains an index consisting of author-provided keywords.
C | |
Constraint Logic Programming | |
F | |
formalization | |
H | |
higher-order | |
I | |
Isabelle/HOL | |
L | |
lambda-calculus | |
M | |
Markov's normal algorithms | |
N | |
nested Petri nets | |
P | |
Petri nets | |
ping-pong protocols | |
prefix grammar | |
program analysis | |
program specialization | |
program transformation | |
program verification | |
S | |
supercompilation | |
T | |
termination | |
translation validation | |
true concurrency | |
U | |
unfolding | |
unfoldings | |
V | |
verification | |
W | |
word equations |