A Formal Design of a Tool for Static Analysis of Upper Bounds on Object Calls in Java.

Konrad Siek Pawel T. Wojciechowski

Published in: FMICS (2012)

Keyphrases

static analysis
upper bound
source code
lower bound
dynamic analysis
open source
relational databases
design process
regular expressions
java card
database
case study
web applications
building blocks