@inproceedings{9d002a48b51c4564ab1f3c27cf4d08b1,
title = "Flow analysis in the Geometry of Interaction",
abstract = "This paper describes a framework for flow analysis of programs with higher-order functions with normal-order reduction. The framework is based on an abstract machine derived from the Geometry of Interaction semantics for reduction in linear logic proof nets. By standard methods from abstract interpretation the transition system defined by the machine induces a set of equations defining the flow between the program points. This set of equations defines a collecting semantics for the program and is amenable to further analysis by abstraction-based approximation. As examples of its application we show how to obtain information about strictness, control-flow and usage of data.",
author = "Jensen, \{Thomas P.\} and Ian Mackie",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1996.; 6th European Symposium on Programming Languages and Systems, ESOP 1996 ; Conference date: 22-04-1996 Through 24-04-1996",
year = "1996",
month = jan,
day = "1",
doi = "10.1007/3-540-61055-3\_37",
language = "English",
isbn = "3540610553",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "188--203",
editor = "Nielson, \{Hanne Riis\}",
booktitle = "Programming Languages and Systems - ESOP 1996 - 6th European Symposium on Programming, Proceedings",
}