A dynamic evaluation of the precision of static heap abstractions.

Percy Liang Omer Tripp Mayur Naik Mooly Sagiv

Published in: OOPSLA (2010)

Keyphrases

data structure
dynamic analysis
high level
image processing
evaluation methods
real time
genetic algorithm
information systems
feature selection
metadata
multiscale
comparative evaluation
evaluation process
dynamically changing