- Record: found
- Abstract: not found
- Book Chapter: not found
Static Analysis
Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references21
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Magic sets and other strange ways to implement logic programs (extended abstract)
Jeffrey Ullman, Yehoshua Sagiv, Francois Bancilhon … (1986)
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Precise interprocedural dataflow analysis via graph reachability
Thomas Reps, Mooly Sagiv, Susan Horwitz (1995)