Title: Context-dependent flow-sensitive interprocedural dataflow analysis and its application to slicing and parallelization
Subjects: Data flow computing, Software engineering