B. Jeannet, D. Gopan, and T. Reps IRISA; Bertrand. Comp....  Home/Search
Context
Related
| wisc.edu/wpis/papers/sas05.ps 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: wisc.edu/wpis/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper concerns the abstraction of sets of functions for use in abstract interpretation. The paper gives an overview of existing methods, which are illustrated with applications to shape analysis, and formalizes a new family of relational abstract domains that allows sets of functions to be abstracted more precisely than with known approaches, while being still machine-representable. (Update)
Active bibliography (related documents): More All
0.5: Combinations of Abstract Domains for Logic.. - Cortesi, Le.. (2000) (Correct)
0.3: Modular analysis of a circuit description language by abstract.. - Hymans (2002) (Correct)
0.3: HOIST: A System for Automatically Deriving Static Analyzers.. - Regehr, Reid (2004) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ and-relational,
author = "Jeannet Gopan And",
title = "A Relational Abstraction for Functions",
url = "citeseer.ist.psu.edu/763445.html" }
Citations (may not include all citations):312 Systematic design of program analysis frameworks (context) - Cousot, Cousot - 1979
252 Analysis of pointers and structures (context) - Chase, Wegman et al. - 1990
250 Automatic discovery of linear restraints among variables of .. - Cousot, Halbwachs - 1978
218 Abstract interpretation and application to logic programs (context) - Cousot, Cousot - 1992
200 Solving shape-analysis problems in languages with destructiv.. - Sagiv, Reps et al. - 1996
150 Parametric shape analysis via 3-valued logic - Sagiv, Reps et al. - 2002
27 and application to comportment analysis generalizing strictn.. (context) - Cousot, Cousot et al. - 1994
13 A logical model for relational abstract domains (context) - Giacobazzi, Scozzari - 1998
9 Numeric domains with summarized dimensions - Gopan, DiMaio et al. - 2004
5 The reduced relative power operation on abstract domains (context) - Giacobazzi, Ranzato - 1999
5 A framework for numeric analysis of array operations - Gopan, Reps et al. - 2005
3 The octagon abstract domain (context) - Min - 2001
2 Tensor products generalize the relational data ow analysis .. (context) - Nielson - 1985
1 and a language due to Dijkstra (context) - Jones, Muchnick et al. - 1981
Documents on the same site (http://www.cs.wisc.edu/wpis/papers/): More
Program Generalization for Software Reuse: From C to C++ - Siff, Reps (1996) (Correct)
Modular Pointer Analysis - Susan Horwitz And (Correct)
Weighted Pushdown Systems and Weighted Transducers - Lal, Touili, Kidd, Reps (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