Heterogeneous Fixed Points with Application to Points-To Analysis
暂无分享,去创建一个
[1] Max A. Sobel,et al. Introduction to mathematics , 1984 .
[2] Patrick Cousot,et al. Constructive design of a hierarchy of semantics of a transition system by abstract interpretation , 2002, MFPS.
[3] S. Feferman. Formal Theories for Transfinite Iterations of Generalized Inductive Definitions and Some Subsystems of Analysis , 1970 .
[4] Gary A. Kildall,et al. A unified approach to global program optimization , 1973, POPL.
[5] Priti Shankar,et al. The Compiler Design Handbook: Optimizations and Machine Code Generation , 2002, The Compiler Design Handbook.
[6] Jong-Deok Choi,et al. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects , 1993, POPL '93.
[7] A. Tarski. A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .
[8] Laurie J. Hendren,et al. Context-sensitive interprocedural points-to analysis in the presence of function pointers , 1994, PLDI '94.
[9] Jong-Deok Choi,et al. Interprocedural pointer alias analysis , 1999, TOPL.
[10] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .
[11] Roberto Giacobazzi,et al. Compositionality in the puzzle of semantics , 2002, PEPM '02.
[12] Uday P. Khedker. Data Flow Analysis , 2002, The Compiler Design Handbook.
[13] James R. Larus,et al. Detecting conflicts between structure accesses , 1988, PLDI '88.