Symbolic path simulation in path-sensitive dataflow analysis.

Hari Hampapuram Yue Yang Manuvir Das

Published in: PASTE (2005)

Keyphrases

high level
shortest path
mathematical analysis
databases
real world
data analysis
statistical analysis
numerical analysis
information systems
case study
multi agent
quantitative analysis
parallel computing