Author:
Simon Axel,King Andy,Howe Jacob M.
Publisher
Springer Berlin Heidelberg
Reference36 articles.
1. R. Bagnara. Data-Flow Analysis for Constrant Logic-Based Languages. PhD thesis, Dipartimento di Informatica, Università di Pisa, 1997.
2. V. Balasundaram and K. Kennedy. A Technique for Summarizing Data Access and its Use in Parallelism Enhancing Transformations. In Programming Language Design and Implementation, pages 41–53. ACM Press, 1989.
3. F. Bancilhon and R. Ramakrishnan. An Amateur’s Introduction to Recursive Query Processing Strategies. In International Conference on Management of Data, pages 16–52. ACM Press, 1986.
4. Lect Notes Comput Sci;F. Benoy,1997
5. J. L. Bentley, H. T. Kung, M. Schkolnick, and C. D. Thompson. On the Average Number of Maxima in a Set of Vectors. Journal of the ACM, 25:536–543, 1978.
Cited by
62 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Non-numerical weakly relational domains;International Journal on Software Tools for Technology Transfer;2024-06-14
2. Clustered Relational Thread-Modular Abstract Interpretation with Local Traces;Programming Languages and Systems;2023
3. Octagons Revisited;Static Analysis;2023
4. Completeness of string analysis for dynamic languages;Information and Computation;2021-12
5. A Fresh Look at Zones and Octagons;ACM Transactions on Programming Languages and Systems;2021-09-30