Grids: A Domain for Analyzing the Distribution of Numerical Values-Reference-Cited by-同舟云学术

Grids: A Domain for Analyzing the Distribution of Numerical Values

Published: Issue: Volume: Page:219-235
ISSN:
Container-title:Logic-Based Program Synthesis and Transformation
language:
Short-container-title:

Author:

Bagnara Roberto,Dobson Katy,Hill Patricia M.,Mundell Matthew,Zaffanella Enea

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-71410-1_16.pdf

Reference30 articles.

1. Ancourt, C.: Génération Automatique de Codes de Transfert pour Multiprocesseurs à Mémoires Locales. PhD thesis, Université de Paris VI (March 1991)

2. Bagnara, R., Hill, P.M., Zaffanella, E.: The Parma Polyhedra Library User’s Manual. Department of Mathematics, University of Parma, Parma, Italy, release 0.9 edition, March 2006 (2006), Available at, http://www.cs.unipr.it/ppl/

3. Bagnara, R., Hill, P.M., Zaffanella, E.: Widening operators for powerset domains. Software Tools for Technology Transfer (To appear, 2006)

4. Lecture Notes in Computer Science;R. Bagnara,2002

5. Coppersmith, D., Winograd, S.: Matrix multiplication via arithmetic progressions. Journal of Symbolic Computation 9(3), 251–280 (1990)

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Speeding up static analysis with the split operator;International Journal on Software Tools for Technology Transfer;2024-08-27

2. Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law;Lecture Notes in Computer Science;2024

3. An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals;Dependable Software Engineering. Theories, Tools, and Applications;2023-12-15

4. Speeding up Static Analysis with the Split Operator;Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis;2023-06-06

5. Abstract Domains of Affine Relations;ACM Transactions on Programming Languages and Systems;2014-10-28