Author:Antoine Miné
Keyphrasesabstract domains, abstract interpretation2, Constraint Programming, floating-point numbers, machine integers, numeric domains, propagation, Reduced Products, static analysis. |
![]() | ||||
| ||||
Copyright © 2012-2023 easychair.org. All rights reserved. |