Bytecode Analysis for Proof Carrying Code.

Martin Wildmoser Amine Chaieb Tobias Nipkow

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

statistical analysis
source code
database
image analysis
static analysis
artificial intelligence
case study
data analysis
relational databases
quantitative analysis
virtual machine