Efficient chaotic iteration strategies with widenings
Top Cited Papers
- 25 January 2006
- book chapter
- Published by Springer Nature
- p. 128-141
- https://doi.org/10.1007/bfb0039704
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A storeless model of aliasing and its abstractions using finite representations of right-regular equivalence relationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Abstract debugging of higher-order imperative languagesPublished by Association for Computing Machinery (ACM) ,1993
- Abstract interpretation by dynamic partitioningJournal of Functional Programming, 1992
- Efficient evaluation of circular attribute grammarsACM Transactions on Programming Languages and Systems, 1990
- An interval-based approach to exhaustive and incremental interprocedural data-flow analysisACM Transactions on Programming Languages and Systems, 1990
- Interprocedural abstract interpretation of block structured languages with nested procedures, aliasing and recursivityPublished by Springer Nature ,1990
- On determining lifetime and aliasing of dynamically allocated data in higher-order functional specificationsPublished by Association for Computing Machinery (ACM) ,1990
- Static analysis of arithmetical congruencesInternational Journal of Computer Mathematics, 1989
- Depth-First Search and Linear Graph AlgorithmsSIAM Journal on Computing, 1972