Summary-Based Inter-Procedural Analysis via Modular Trace Refinement.

Franck Cassez Christian Müller Karla Burnett

Published in: FSTTCS (2014)

Keyphrases

object oriented
artificial intelligence
statistical analysis
data sets
three dimensional
feature extraction
multiscale
data analysis
user interface