Proceedings of the International Conference on Advances in Mechanical Engineering and Industrial Informatics

A New Perspective for Understanding Data Flow Analysis

Authors
Hai Lin
Corresponding Author
Hai Lin
Available Online April 2015.
DOI
10.2991/ameii-15.2015.280How to use a DOI?
Keywords
data flow analysis; model checking
Abstract

Data flow analysis is a technique that is widely used in compilers and program analysis tools. A lot of practical problems use data flow analysis, e.g. live variable analysis. The usual way of solving data flow analysis problem is to solve for the fix point of some simultaneous equations. This is done via an iterative process. In this paper, we argue that data flow analysis can be understood as a temporal logic model checking problem. We illustrate this idea using the problem of live variable analysis. This provides a new perspective for understanding data flow analysis.

Copyright
© 2015, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the International Conference on Advances in Mechanical Engineering and Industrial Informatics
Series
Advances in Engineering Research
Publication Date
April 2015
ISBN
978-94-62520-69-1
ISSN
2352-5401
DOI
10.2991/ameii-15.2015.280How to use a DOI?
Copyright
© 2015, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - CONF
AU  - Hai Lin
PY  - 2015/04
DA  - 2015/04
TI  - A New Perspective for Understanding Data Flow Analysis
BT  - Proceedings of the International Conference on Advances in Mechanical Engineering and Industrial Informatics
PB  - Atlantis Press
SP  - 1522
EP  - 1524
SN  - 2352-5401
UR  - https://doi.org/10.2991/ameii-15.2015.280
DO  - 10.2991/ameii-15.2015.280
ID  - Lin2015/04
ER  -