Abstract interpretation by dynamic partitioning

61Citations
Citations of this article
17Readers
Mendeley users who have this article in their library.

Abstract

The essential part of abstract interpretation is to build a machine-representable abstract domain expressing interesting properties about the possible states reached by a program at runtime. Many techniques have been developed which assume that one knows in advance the class of properties that are of interest. There are cases however when there are no a priori indications about the ‘best’ abstract properties to use. We introduce a new framework that enables nonunique representations of abstract program properties to be used, and expose a method, called dynamic partitioning, that allows the dynamic determination of interesting abstract domains using data structures built over simpler domains. Finally, we show how dynamic partitioning can be used to compute non-trivial approximations of functions over infinite domains and give an application to the computation of minimal function graphs. © 1992, Cambridge University Press. All rights reserved.

Cite

CITATION STYLE

APA

Bourdoncle, F. (1992). Abstract interpretation by dynamic partitioning. Journal of Functional Programming, 2(4), 407–435. https://doi.org/10.1017/S0956796800000496

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free