Finiteness conditions for fixed point iteration
F Nielson, HR Nielson - ACM SIGPLAN Lisp Pointers, 1992 - dl.acm.org
ACM SIGPLAN Lisp Pointers, 1992•dl.acm.org
This paper provides a link between the formulation of static program analyses using the
framework of abstract interpretation (popular for functional languages and using the more
classical framework of data flow anlysis (popular for imperative languages). In particular we
show how the classical notions of fastness, rapidity and k-boundedness carry over to the
abstract interpretation framework and how this may be used to bound the number of times a
functional should be unfolded in order to yield the fixed point. This is supplemented with a …
framework of abstract interpretation (popular for functional languages and using the more
classical framework of data flow anlysis (popular for imperative languages). In particular we
show how the classical notions of fastness, rapidity and k-boundedness carry over to the
abstract interpretation framework and how this may be used to bound the number of times a
functional should be unfolded in order to yield the fixed point. This is supplemented with a …
This paper provides a link between the formulation of static program analyses using the framework of abstract interpretation (popular for functional languages and using the more classical framework of data flow anlysis (popular for imperative languages). In particular we show how the classical notions of fastness, rapidity and k-boundedness carry over to the abstract interpretation framework and how this may be used to bound the number of times a functional should be unfolded in order to yield the fixed point. This is supplemented with a number of results on how to calculate the bounds for iterative forms (as for tail recursion), for linear forms (as for one nested recursive call), and for primitive recursive forms. In some cases this improves the “worst case” results of, but more importantly it gives much better“average case” results.
ACM Digital Library
Showing the best result for this search. See all results