Hybrid traversal-Reference-Cited by-同舟云学术

Hybrid traversal

Published:2018-05-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings
language:
Short-container-title:

Author:

Ramu Ramanathan¹,Upadhyaya Ganesha¹,Nguyen Hoan A¹,Rajan Hridesh¹

Affiliation:

1. Iowa State University

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3183440.3195033

Reference4 articles.

1. Darren C. Atkinson and William G. Griswold. 2001. Implementation Techniques for Efficient Data-Flow Analysis of Large Programs. In ICSM. IEEE Computer Society 52-. 10.1109/ICSM.2001.972711 Darren C. Atkinson and William G. Griswold. 2001. Implementation Techniques for Efficient Data-Flow Analysis of Large Programs. In ICSM. IEEE Computer Society 52-. 10.1109/ICSM.2001.972711

2. Francois Bourdoncle. 1993. Efficient Chaotic Iteration Strategies With Widenings. In ICFM. Springer-Verlag 128--141. Francois Bourdoncle. 1993. Efficient Chaotic Iteration Strategies With Widenings. In ICFM. Springer-Verlag 128--141.

3. Michael Hind and Anthony Pioli. 1998. Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses. In SAS. Springer-Verlag 57--81. Michael Hind and Anthony Pioli. 1998. Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses. In SAS. Springer-Verlag 57--81.

4. Teck Bok Tok Samuel Z. Guyer and Calvin Lin. 2006. Efficient Flow-sensitive Interprocedural Data-flow Analysis in the Presence of Pointers. In CC. Springer-Verlag 17--31. 10.1007/11688839_3 Teck Bok Tok Samuel Z. Guyer and Calvin Lin. 2006. Efficient Flow-sensitive Interprocedural Data-flow Analysis in the Presence of Pointers. In CC. Springer-Verlag 17--31. 10.1007/11688839_3