TY - RPRT TI - Evaluating Design Tradeoffs in Numeric Static Analysis for Java AU - Shiyi Wei AU - Piotr Mardziel AU - Andrew Ruef AU - Jeffrey S. Foster AU - Michael Hicks PY - 2018 DO - 10.1007/978-3-319-89884-1_23 UR - https://arxiv.org/abs/1802.08927 ID - 1802.08927 ER -