G. Ramalingam, John Field, Frank Tip  Home/Search
Context Related
| ibm.com/people/r/rama/Paper...popl99.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: ibm.com/people/r/rama/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, we describe an efficient algorithm for lazily decomposing aggregates such as records and arrays into simpler components based on the access patterns specific to a given program. This process allows us both to identify implicit aggregate structure not evident from declarative information in the program, and to simplify the representation of declared aggregates when references are made only to a subset of their components. We show that the structure identification process can be... (Update)
Cited by: More
A Next-Generation Platform for Analyzing Executables - Reps Balakrishnan Lim (Correct)
Recovery of Variables and Heap Structure in x86 Executables - Gogul Balakrishnan Bgogul (Correct)
Extracting Output Formats from Executables - Junghee Lim Junghee (Correct)
Active bibliography (related documents): More All
0.1: Research Issues in the Renovation of Legacy Systems - van Deursen, Klint, Verhoef (1999) (Correct)
0.1: AnnoDomini: From Type Theory to Year 2000 Conversion Tool - Eidorff, Henglein.. (1999) (Correct)
0.1: AnnoDomini in Practice: A Type-Theoretic Approach.. - Eidorff.. (Correct)
Similar documents based on text: More All
0.2: Typestate Verification: Abstraction Techniques and.. - Field Goyal Ramalingam (2003) (Correct)
0.1: Partially Disjunctive Heap Abstraction - Manevich, Sagiv, Ramalingam, Field (2004) (Correct)
0.1: Shallow Finite State Verification - Field, Goyal, Yahav, Ramalingam (2002) (Correct)
Related documents from co-citation: More All
6: Physical type checking for C - Chandra, Reps - 1999
6: Type inference for COBOL systems - van Deursen, Moonen - 1998
5: Generation of components for software renovation factories from context-free gra.. - van den Brand, Sellink et al. - 2000
BibTeX entry: (Update)
G. Ramalingam, John Field, and Frank Tip. Aggregate structure identification and its application to program analysis. In These proceedings, January 1999. http://citeseer.ist.psu.edu/ramalingam99aggregate.html More
@inproceedings{ ramalingam99aggregate,
author = "G. Ramalingam and John Field and Frank Tip",
title = "Aggregate Structure Identification and Its Application to Program Analysis",
booktitle = "Symposium on Principles of Programming Languages",
pages = "119-132",
year = "1999",
url = "citeseer.ist.psu.edu/ramalingam99aggregate.html" }
Citations (may not include all citations):3972 Introduction to Algorithms (context) - CORMEN, LEISERSON et al. - 1990 ACM
866 Techniques and Tools (context) - AHO, SETHI et al. - 1986
809 A theory of type polymorphism in programming (context) - MILNER - 1978 DBLP
480 The program dependence graph and its use in optimization (context) - FERRANTE, OTTENSTEIN et al. - 1987 ACM DBLP
415 Efficiently computingstatic single assignment form and the c.. - CYTRON, FERRANTE et al. - 1991
259 A survey of program slicing techniques - TIP - 1995 DBLP
228 Points-to analysis in almost linear time - STEENSGAARD - 1996 ACM DBLP
164 Society for Industrial and Applied Mathematics (context) - TARJAN - 1983
111 Solving systems of set constraints (context) - AIKEN, WIMMERS - 1992
68 Unification: A multidisciplinary survey (context) - KNIGHT - 1989 ACM DBLP
57 and practical investigations of an automatic program abstrac.. (context) - WEISER - 1979
48 Points-to analysis by type inference of programs with struct.. - STEENSGAARD - 1996 ACM DBLP
35 Lackwit: A program understandingtool based on type inference - O'CALLAHAN, JACKSON - 1997
24 Program analysis using mixed term and set constraints - AHNDRICH, AIKEN - 1997 ACM DBLP
10 Type inference for cobol systems - VAN DEURSEN, MOONEN - 1998 ACM DBLP
1 Personal communication (context) - STEENSGAARD - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.research.ibm.com/people/r/rama/): More
Identifying Loops In Almost Linear Time - Ramalingam (1999) (Correct)
On Sparse Evaluation Representations - Ramalingam (1998) (Correct)
Solving Difference Constraints Incrementally - Ramalingam, Song, Joscovicz.. (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