Interprocedural Dataflow Analysis in an Executable Optimizer.

David W. Goodwin

Published in: PLDI (1997)

Keyphrases

information systems
real time
data sets
case study
data structure
video sequences
statistical analysis
model checking