Roberto Bagnara, Patricia M. Hill, and Enea Zaanella Department of...  Home/Search
Context Related
Links: DBLP | cs.unipr.it/~bagnara/Pape...VMCAI04.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.unipr.it/~bagnara/Pa...linkall (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The finite powerset construction upgrades an abstract domain by allowing for the representation of finite disjunctions of its elements. (Update)
Cited by: More
Partially Disjunctive Heap Abstraction - Mooly (2004) (Correct)
Widening Operators for Powerset Domains - Bagnara, Hill, Zaffanella (2004) (Correct)
Active bibliography (related documents): More All
0.8: Precise Widening Operators for Convex Polyhedra - Bagnara, Hill, Ricci, Zaffanella (2003) (Correct)
0.4: Possibly Not Closed Convex Polyhedra and the Parma.. - Bagnara, Ricci.. (2002) (Correct)
0.2: Not Necessarily Closed Convex Polyhedra and the Double.. - Bagnara, Hill.. (Correct)
Similar documents based on text: More All
0.9: Set-Sharing is Redundant for Pair-Sharing - Bagnara, Hill, Zaffanella (1997) (Correct)
0.9: Decomposing Non-Redundant Sharing by Complementation - Zaffanella, Hill, Bagnara (2001) (Correct)
0.9: Efficient Structural Information Analysis for Real CLP.. - Bagnara, Hill, Zaffanella (2000) (Correct)
Related documents from co-citation: More All
7: Abstract interpretation: a unified lattice model for static analysis of programs.. (context) - Cousot, Cousot - 1977
4: Model Checking in CLP - Delzanno, Podelski - 1999
4: The Parma Polyhedra Library User's Manual (context) - Bagnara, Hill et al. - 2002
BibTeX entry: (Update)
R. Bagnara, P. M. Hill, E. Za#anella, Widening operators for powerset domains, in: G. Levi, B. Ste#en (Eds.), Proceedings of the Fifth International Conference on Verification, Model Checking and Abstract Interpretation, Lecture Notes in Computer Science, Springer-Verlag, Berlin, Venice, Italy, 2004, to appear. http://citeseer.ist.psu.edu/article/bagnara04widening.html More
@misc{ bagnara04widening,
author = "R. Bagnara and P. Hill and E. Za",
title = "Widening operators for powerset domains",
text = "R. Bagnara, P. M. Hill, E. Za#anella, Widening operators for powerset domains,
in: G. Levi, B. Ste#en (Eds.), Proceedings of the Fifth International Conference
on Verification, Model Checking and Abstract Interpretation, Lecture Notes
in Computer Science, Springer-Verlag, Berlin, Venice, Italy, 2004, to appear.",
year = "2004",
url = "citeseer.ist.psu.edu/article/bagnara04widening.html" }
Citations (may not include all citations):815 Abstract interpretation: A unified lattice model for static .. (context) - Cousot, Cousot - 1977 DBLP
312 Systematic design of program analysis frameworks (context) - Cousot, Cousot - 1979 ACM DBLP
250 Automatic discovery of linear restraints among variables of .. - Cousot, Halbwachs - 1978 ACM DBLP
218 Abstract interpretation and applications to logic programs (context) - Cousot, Cousot - 1992
211 Domain theory - Abramsky, Jung - 1994
164 A practical algorithm for exact array dependence analysis (context) - Pugh - 1992 ACM DBLP
151 Proving termination with multiset orderings (context) - Dershowitz, Manna - 1979 ACM DBLP
142 Abstract interpretation frameworks (context) - Cousot, Cousot - 1992 DBLP
88 Model checking in CLP - Delzanno, Podelski - 1999 ACM DBLP
80 Delay analysis in synchronous programs - Halbwachs - 1993 ACM DBLP
77 Combinations of abstract domains for logic programming: Open.. - Cortesi, Le Charlier et al. - 2000 DBLP
57 Comparing the Galois connection and widening /narrowing appr.. - Cousot, Cousot - 1992
54 Static determination of dynamic properties of programs (context) - Cousot, Cousot - 1976
52 The Omega library interface guide (context) - Kelly, Maslov et al. - 1995 ACM
47 Model-checking concurrent systems with unbounded integer var.. - Bultan, Gerber et al. - 1999
42 Verification of real-time systems using linear relation anal.. - Halbwachs, Proy et al. - 1997 ACM DBLP
35 Subsumption and indexing in constraint query languages with .. - Srivastava - 1993 DBLP
23 Possibly not closed convex polyhedra and the Parma Polyhedra.. - Bagnara, Ricci et al. - 2002 ACM DBLP
21 Austrian Research Institute for Artificial Intelligence (context) - Holzbaur, manual et al. - 1995
19 A note on Chernikova's algorithm - Le Verge - 1992
17 The Parma Polyhedra Library User's Manual (context) - Bagnara, Hill et al. - 2003
17 Determination Automatique de Relations Lineaires Verifiees p.. (context) - Halbwachs - 1979
13 A hierarchy of constraint systems for data-flow analysis of .. - Bagnara - 1998 ACM DBLP
13 PolyLib: A library for manipulating parameterized polyhedra - Loechner - 1999
12 Precise widening operators for convex polyhedra - Bagnara, Hill et al. - 2003 DBLP
11 The powerset operator on abstract interpretations (context) - File, Ranzato - 1999 ACM DBLP
7 Widening operators for powerset domains - Bagnara, Hill et al. - 2003 DBLP
5 Also published as IRISA Publication interne (context) - Wilde, for et al. - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.unipr.it/~bagnara/Papers/PDF/linkall.html): More
Decomposing Non-Redundant Sharing by Complementation - Zaffanella, Hill, Bagnara (2001) (Correct)
Enhanced Sharing Analysis Techniques: A Comprehensive.. - Bagnara, Zaffanella, Hill (2000) (Correct)
A Unified Proof For The Convergence Of Jacobi And Gauss-Seidel.. - Bagnara (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC