A FINE-GRAINED DATA-FLOW ANALYSIS FRAMEWORK

Authors
HSIEH CS
Citation
Cs. Hsieh, A FINE-GRAINED DATA-FLOW ANALYSIS FRAMEWORK, Acta informatica, 34(9), 1997, pp. 653-665
Citations number
15
Categorie Soggetti
Information Science & Library Science","Computer Science Information Systems
Journal title
Acta informatica → ACNP
ISSN journal
00015903
Volume
34
Issue
9
Year of publication
1997
Pages
653 - 665
Database
ISI
SICI code
0001-5903(1997)34:9<653:AFDAF>2.0.ZU;2-J
Abstract
A fine-grained data-flow analysis framework (L, F) where the elements of the semilattice L are mappings from a set of items I to a semilatti ce of values V is introduced, and an algorithm is presented to solve t his framework by considering the elements of I and V individually, rat her than regarding the elements of L as atomic values. It is shown tha t a variety of useful data-flow problems fit into the fine-grained dat a-flow analysis framework, and can be solved in O(\I\ x \N\) time.