NSAD2019: WORKSHOP ON NUMERICAL AND SYMBOLIC ABSTRACT DOMAINS, 2019

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

A
Abstract domain	A Dividing Method Minimizing the Linearization Term in Affine Arithmetic
Abstract Domains	Combination of Boxes and PolyhedraAbstractions for Constraint Solving
Abstract interpretation	Combination of Boxes and PolyhedraAbstractions for Constraint Solving An abstract domain for objects in dynamic programming languages
Affine arithmetic	A Dividing Method Minimizing the Linearization Term in Affine Arithmetic
C
Constraint Programming	Combination of Boxes and PolyhedraAbstractions for Constraint Solving
D
Dynamic programming languages	An abstract domain for objects in dynamic programming languages
M
Mapping	Improving the Numerical Accuracy of Parallel Programs by Data Mapping.
N
Non-linear operations	A Dividing Method Minimizing the Linearization Term in Affine Arithmetic
Numerical accuracy	Improving the Numerical Accuracy of Parallel Programs by Data Mapping.
O
Objects data-structure	An abstract domain for objects in dynamic programming languages
P
Propagation	Combination of Boxes and PolyhedraAbstractions for Constraint Solving
R
Reduced Products	Combination of Boxes and PolyhedraAbstractions for Constraint Solving
Relational domain	Flow Insensitive Relational Static Analysis
S
scientific computing	Improving the Numerical Accuracy of Parallel Programs by Data Mapping.
Sparse analysis	Flow Insensitive Relational Static Analysis
SSA representation	Flow Insensitive Relational Static Analysis
Static analysis	An abstract domain for objects in dynamic programming languages Improving the Numerical Accuracy of Parallel Programs by Data Mapping.

Disclaimer | Powered by EasyChair Smart Program