TALK KEYWORD INDEX
This page contains an index consisting of author-provided keywords.
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 |