Static program analysis consists of compile-time techniques for determining properties of programs without actually running them. Using Kleene algebra, we formalize four instances of a static data flow analysis technique known as gen/kill analysis. This formalization clearly reveals the dualities between the four instances; although these dualities are known, the standard formalization does not reveal them in such a clear and concise manner. We provide two equivalent sets of equations characterizing the four analyses for two representations of programs, one in which the statements label the nodes of a control flow graph and one in which the statements label the transitions. © Springer-Verlag 2004.
CITATION STYLE
Fernandes, T., & Desharnais, J. (2004). Describing gen/kill static analysis techniques with kleene algebra. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3125, 110–128. https://doi.org/10.1007/978-3-540-27764-4_7
Mendeley helps you to discover research relevant for your work.