Widening Operators for Powerset Domains-Reference-Cited by-同舟云学术

Widening Operators for Powerset Domains

Published:2004 Issue: Volume: Page:135-148
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bagnara Roberto,Hill Patricia M.,Zaffanella Enea

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-24622-0_13

Reference30 articles.

1. Abramsky, S., Jung, A.: Domain theory. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol. 3, ch. 1, pp. 1–168. Clarendon Press, Oxford (1994)

2. Bagnara, R.: A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages. Science of Computer Programming 30(1–2), 119–155 (1998)

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

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

5. Bagnara, R., Hill, P.M., Zaffanella, E.: Widening operators for powerset domains. Quaderno, Dipartimento di Matematica, Università di Parma, Italy (2003) (to appear)

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

1. Reverse Template Processing Using Abstract Interpretation;Static Analysis;2023

2. Multivariant Assertion-Based Guidance in Abstract Interpretation;Logic-Based Program Synthesis and Transformation;2019

3. An Efficient Abstract Domain for Not Necessarily Closed Polyhedra;Static Analysis;2018

4. An Abstract Domain Based on Two-Interval Difference-Bound Matrices;Communications in Computer and Information Science;2016

5. Linear Absolute Value Relation Analysis;Programming Languages and Systems;2011