Jongwook Woo, Jehak Woo, Isabelle Attali, Denis Caromel, et al.  Home/Search
Context
Related
Links: ACM | flinders.edu.au/confpa...CRPITV4Woo.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: flinders.edu.au/CRPITVolume4 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose a flow-sensitive alias analysis algorithm that computes safe and efficient alias sets in Java. For that, we propose a references-set representation of aliased elements, its type table, and its propagation rules. Also, for an exception construct, we consider try/catch/finally blocks as well as potential exception statement nodes while building a control flow graph. Finally, for the safe alias computation on a control flow graph, we present a structural order traverse of each block and ... (Update)
Active bibliography (related documents): More All
0.5: Interprocedural Dataflow Analysis - Alias Analysis - Sathyanathan (2001) (Correct)
0.2: Pointer Analysis: Haven't We Solved This Problem Yet? - Hind (2001) (Correct)
0.2: Nonuniform Alias Analysis of Recursive Data Structures and Arrays - Venet (2002) (Correct)
Similar documents based on text: More All
0.4: An Operational Semantics for the Eiffel// Language - Attali, Caromel, Ehmety (1995) (Correct)
0.3: Efficient Points-To Analysis For Whole-Program Analysis - Liang, Mary (1999) (Correct)
0.3: From Projective to Euclidean Reconstruction - Devernay, Faugeras (1996) (Correct)
BibTeX entry: (Update)
@inproceedings{ woo02alias,
author = "Jongwook Woo and Jehak Woo and Isabelle Attali and Denis Caromel and Jean-Luc Gaudiot and Andrew L. Wendelborn",
title = "Alias Analysis for Exceptions in Java",
booktitle = "Twenty-Fifth Australasian Computer Science Conference (ACSC2002)",
publisher = "ACS",
address = "Melbourne, Australia",
editor = "Michael J. Oudshoorn",
year = "2002",
url = "citeseer.ist.psu.edu/533658.html" }
Citations (may not include all citations):246 Context-sensitive interprocedural point-to analysis in the p.. - Emami, Ghiya et al. - 1994
150 Java in a nutshell (context) - Flanagan - 1997 ACM
79 Efficient Flow-Sensitive Interprocedural Computation of Poin.. - Choi, Burke et al. - 1993 ACM DBLP
20 Efficient and Precise Modeling of Exceptions for the Analysi.. - Choi, Grove et al. - 1999 ACM DBLP
8 flow-sensitive type inference for statically typed object-or.. (context) - Chatterjee, Ryder - 1997
4 Interprocedural Pointer Alias Analysis - Burke, Carini et al. - 1997 ACM DBLP
2 Flow-Sensitive Type Analysis for C (context) - Carini, Srinivasan - 1995
1 Jongwook Woo and Jean-Luc Gaudiot (context) - Woo - 2000
Documents on the same site (http://www.jrpit.flinders.edu.au/CRPITVolume4.html): More
Application Rates to Undergraduate Programs in Information .. - Roddick, Nieuwenhuis (2002) (Correct)
Improving SAT using 2SAT - Zheng, Stuckey (2002) (Correct)
Essential Use Cases and Responsibility in Object-Oriented.. - Biddie, Noble, Tempero (2002) (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