Showing papers by "Radhia Cousot published in 1991"
01 Jan 1991
TL;DR: The use of infinite abstract domains with widening and narrowing for accelerating the convergence of abstract interpretations is shown to be more powerful than the Galois connection approach restricted to finite lattices.
435 citations
01 Oct 1991
TL;DR: When the abstract domain is finite, this approach can easily be generalized to higher order functional languages as shown for example by as discussed by the authors, which leads to combinatorial explosion problems as observed, for example, instrictness analysis of higher-order functional languages.
Abstract: Most applications of the abstract interpretation framework[2] have been foranalyzing functional programs use functions on abstract values to approxi-mate functions, thus assuming that functions may be called at all arguments.When the abstract domain is finite, this approach can easily be generalizedto higher order functional languages as shown for example by [1]. In practicethis leads to combinatorial explosion problems as observed, for example, instrictness analysis of higher order functional languages.
10 citations