VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK KEYWORD INDEX

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

Shortcuts: ACDFHILNPRSTV
A
abstract interpretation
Aeronautics
C
Certifying transformation
Computational Complexity
convex optimisation
cyber-physical systems
D
Discrete dynamical systems
F
Floating-point arithmetic
formal methods
H
hybrid systems
I
IEEE standard
Interval analysis
interval arithmetic
L
Lagrange duality
Lyapunov exponents
N
Numerical Accuracy
P
policy iteration
program transformation
R
Real number computation
S
Semantics preservation
Semantics-Based Program Transformation
set arithmetic
T
templates domain
theorem proving
V
Validation of Numerical Programs