VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK KEYWORD INDEX

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

Shortcuts: CFHILMNPSTUVW
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