1: \begin{thebibliography}{10}
2:
3: \bibitem{asu}
4: Alfred~V. Aho, Ravi Sethi, and Jeffrey~D. Ullman.
5: \newblock {\em Compilers: principles, techniques, and tools}.
6: \newblock Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1986.
7:
8: \bibitem{cytron-ssa}
9: Ron Cytron, Jeanne Ferrante, Barry~K. Rosen, Mark~N. Wegman, and F.~Kenneth
10: Zadeck.
11: \newblock Efficiently computing static single assignment form and the control
12: dependence graph.
13: \newblock {\em ACM TOPLAS}, 13(4):451--490, 1991.
14:
15: \bibitem{width}
16: Dhananjay~M. Dhamdhere and Uday~P. Khedker.
17: \newblock Complexity of bi-directional data flow analysis.
18: \newblock In {\em POPL '93}, pages 397--408, New York, NY, USA.
19:
20: \bibitem{emami-ip-points-to}
21: Maryam Emami, Rakesh Ghiya, and Laurie~J. Hendren.
22: \newblock Context-sensitive interprocedural points-to analysis in the presence
23: of function pointers.
24: \newblock In {\em PLDI '94}, pages 242--256, New York, NY, USA.
25:
26: \bibitem{ferrante-pdg}
27: Jeanne Ferrante, Karl~J. Ottenstein, and Joe~D. Warren.
28: \newblock The program dependence graph and its use in optimization.
29: \newblock {\em ACM TOPLAS}, 9(3):319--349, 1987.
30:
31: \bibitem{graham-fastalgo}
32: Susan~L. Graham and Mark Wegman.
33: \newblock A fast and usually linear algorithm for global flow analysis.
34: \newblock In {\em POPL '75}, pages 22--34, New York, NY, USA, 1975.
35:
36: \bibitem{hecht-book}
37: Matthew~S. Hecht.
38: \newblock {\em Flow Analysis of Computer Programs}.
39: \newblock Elsevier Science Inc., NY, USA, 1977.
40:
41: \bibitem{hor-fv}
42: Susan Horwitz, Alan~J. Demers, and Tim Teitelbaum.
43: \newblock An efficient general iterative algorithm for dataflow analysis.
44: \newblock {\em Acta Inf.}, 24(6):679--694, 1987.
45:
46: \bibitem{ku}
47: J.~B. Kam and J.~D. Ullman.
48: \newblock Monotone data flow analysis frameworks.
49: \newblock {\em Acta Inf.}, 7(3):305--318, 1977.
50:
51: \bibitem{aditya-hetero}
52: Aditya Kanade, Uday~P. Khedker, and Amitabha Sanyal.
53: \newblock Heterogeneous fixed points with application to points-to analysis.
54: \newblock In {\em APLAS'05}, pages 298--314.
55:
56: \bibitem{kdm.typeinferencing}
57: U.~P. Khedker, D.~M. Dhamdhere, and A.~Mycroft.
58: \newblock Bidirectional data flow analysis for type inferencing.
59: \newblock {\em Computer Languages, Systems and Structures}, 29(1-2):15--44,
60: 2003.
61:
62: \bibitem{dfa-chapter}
63: Uday~P. Khedker.
64: \newblock Data flow analysis.
65: \newblock In {\em The Compiler Design Handbook}, pages 1--59. CRC Press, 2002.
66:
67: \bibitem{gen-theory-bvdfa}
68: Uday~P. Khedker and Dhananjay~M. Dhamdhere.
69: \newblock A generalized theory of bit vector data flow analysis.
70: \newblock {\em ACM TOPLAS}, 16(5):1472--1511, 1994.
71:
72: \bibitem{kildall-unified}
73: Gary~A. Kildall.
74: \newblock A unified approach to global program optimization.
75: \newblock In {\em POPL '73}, pages 194--206, New York, NY, USA, 1973.
76:
77: \bibitem{knoop-pde}
78: Jens Knoop, Oliver R{\"u}thing, and Bernhard Steffen.
79: \newblock Partial dead code elimination.
80: \newblock In {\em PLDI '94}, pages 147--158, New York, NY, USA, 1994.
81:
82: \bibitem{kuck-dg}
83: David~J. Kuck, R.~H. Kuhn, David~A. Padua, Bruce Leasure, and Michael Wolfe.
84: \newblock Dependence graphs and compiler optimizations.
85: \newblock In {\em POPL'81}, pages 207--218.
86:
87: \bibitem{marlowe-properties}
88: T.~J. Marlowe and B.~G. Ryder.
89: \newblock Properties of data flow frameworks.
90: \newblock {\em Acta Inf.}, 28:121--163, 1990.
91:
92: \bibitem{muchnick-book}
93: Steven~S. Muchnick.
94: \newblock {\em Advanced compiler design and implementation}.
95: \newblock Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1997.
96:
97: \bibitem{muth-complexity-dfa}
98: Robert Muth and Saumya Debray.
99: \newblock On the complexity of flow-sensitive dataflow analyses.
100: \newblock In {\em POPL '00}, pages 67--80, New York, NY, USA, 2000.
101:
102: \bibitem{NNH99fe}
103: F.~Nielson, H.~Riis Nielson, and C.~L. Hankin.
104: \newblock {\em Principles of Program Analysis}.
105: \newblock Springer, 1999.
106:
107: \bibitem{nielson-flow-logics}
108: H.~R. Nielson and F.~Nielson.
109: \newblock Flow logics for constraint based analysis.
110: \newblock In {\em CC`98}, pages 109--127, 1997.
111: \newblock LNCS 1383, Springer-Verlag.
112:
113: \bibitem{nielson-bounded-fp}
114: Hanne~Riis Nielson and Flemming Nielson.
115: \newblock Bounded fixed point iteration.
116: \newblock In {\em POPL '92}, pages 71--82, New York, NY, USA, 1992.
117:
118: \end{thebibliography}
119: