A practical construction for decomposing numerical abstract domains.

Gagandeep Singh Markus Püschel Martin T. Vechev

Published in: Proc. ACM Program. Lang. (2018)

Keyphrases

real world
application domains
data sets
construction process
practical application
higher level
high level
case study
multiscale
objective function
digital libraries
information technology
search space
low level
sensitivity analysis
artificial intelligence
cross domain
numerical data
database