This paper presents a graph-based formulation of controlflow analysis using results from game semantics and proof-nets. Controlflow analysis aims to give a conservative prediction of the flow of control in a program. In our analysis, terms are represented by proof-nets and control-flow analysis amounts to the analysis of computation paths in the proof-net. We focus on a context free analysis known in the literature as 0-CFA, and develop an algorithm for the analysis. The algorithm for 0- CFA performs dynamic transitive closure of a graph that is based on the judgement associated with the proof-net. Correctness of the algorithm relies on the correspondence between proof-nets and certain kinds of strategies in game semantics. © 2012 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Hankin, C., Nagarajan, R., & Sampath, P. (2002). Flow analysis: Games and nets. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2566 LNCS, 135–156. https://doi.org/10.1007/3-540-36377-7_7
Mendeley helps you to discover research relevant for your work.