Precise interprocedural dataflow analysis with applications to constant propagation
- 作者Mooly Sagiv; Thomas Reps; Susan Horwitz
- 卷第167卷
- 印刷ISSN0304-3975
- 文件大小2814.26KB
- 发表时间1996
- DOI10.1016/0304-3975(96)00072-2
- 页码131-170
同作者推荐
Effective Borel measurability and reducibility of functionsVasco Brattka · 2005
Editorial: Math. Log. Quart. 5/2008Vasco Brattka; Hajime Ishihara; Matthias Schröder; Ning Zhong · 2008
Feasible Real Random Access MachinesVasco Brattka; Peter Hertling · 1998
PrefaceVasco Brattka; Ruth Dillhage; Tanja Grubba; Angela Klutsch · 2008
Computability in linear algebraMartin Ziegler; Vasco Brattka · 2004
Topological properties of real number representationsVasco Brattka; Peter Hertling · 2002
Recursive quasi-metric spacesVasco Brattka · 2003
Computability on subsets of metric spacesVasco Brattka; Gero Presser · 2003