Evaluating Design Tradeoffs in Numeric Static Analysis for Java.

Shiyi Wei Piotr Mardziel Andrew Ruef Jeffrey S. Foster Michael Hicks

Published in: ESOP (2018)

Keyphrases

static analysis
source code
design process
design decisions
case study
high level
programming language
open source
java card
real world
database systems
user interface
object oriented
java programming