Login / Signup
Decomposing bytecode verification by abstract interpretation.
Cinzia Bernardeschi
Nicoletta De Francesco
Giuseppe Lettieri
Luca Martini
Paolo Masci
Published in:
ACM Trans. Program. Lang. Syst. (2008)
Keyphrases
</>
abstract interpretation
java card
static analysis
model checking
termination analysis
dynamic analysis
source code
smart card
regular expressions
active databases
reasoning engine
pattern matching
query evaluation
active rules