Searching for "Double Iterative Framework for Flow-Sensitive Interprocedural Data Flow Analysis." – sorted by Relevance.
-
Parameter-Induced Aliasing and Related Problems can be Avoided (Towards a More Abstract View of Variables)
- , 1995. [For94] Istv'an Forg'acs. Double iterative framework for flow-sensitive interprocedural data flow
- Cited by 1 (0 self) – Add To MetaCart

