Hemant D. Pande, Barbara G. Ryder  Home/Search
Context Related
| rutgers.edu/pub/tech...lcsrtr236.ps.Z 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: rutgers.edu/pub/technicalrepo... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Static type determination involves compile time calculation of the type of object a pointer may point to, at a particular program point during some execution. We show that the problem of precise interprocedural type determination is NP-hard in the presence of inheritance, virtual functions and pointers. We highlight the significance of type determination in improving code efficiency and precision of other static analyses. First we present a safe, approximate type determination algorithm for C... (Update)
Context of citations to this paper: More
.... program and by 9 over the baseline (see section 6) More ambitious analyses such as concrete type inference systems (e.g. [Age95, PR94, PC94]) can determine the concrete receiver types of message sends. Compared to type feedback, a type inferencer may provide more precise...
.... the 3 SAT problem to type determination and aliasing [Pan96] 4 We defined the terms realizable and balanced paths independently [LR91, PR94b], and found later that the ideas already existed in literature, referred to as valid and complete respectively in [SP81] RHS95]...
Cited by: More
Using Types to Analyze and Optimize Object-Oriented Programs - McKINLEY, MOSS (2001) (Correct)
A Study of Dead Data Members in C++ Applications - Sweeney, Tip (1998) (Correct)
Class Hierarchy Specialization - Tip, Sweeney (1997) (Correct)
Similar documents (at the sentence level):
22.2%: Static Type Determination for C++ - Pande, Ryder (1994) (Correct)
5.5%: Static Type Determination and Aliasing for C++ - Pande, Ryder (1995) (Correct)
5.2%: Data-Flow-Based Virtual Function Resolution - Hemant Pande And (1996) (Correct)
Active bibliography (related documents): More All
0.6: Complexity of Single Level Function Pointer Aliasing Analysis - Zhang, Ryder (1994) (Correct)
0.4: Flow-Sensitive Type Analysis for C++ - Carini, Srinivasan (1995) (Correct)
0.3: Precise Type Analysis by Abstract Interpretation - Knoop, al. (1996) (Correct)
Similar documents based on text: More All
0.1: Interprocedural Aliasing In The Presence Of Pointers - Landi (1992) (Correct)
0.0: Interprocedural Reaching Definitions in the Presence of.. - Pande, Landi, Ryder (1992) (Correct)
0.0: Program Partitioning and Scheduling for Scalable Parallel.. - Pande, Psarris (Correct)
Related documents from co-citation: More All
17: Precise concrete type inference for objectoriented languages - Plevyak, Chien - 1994
16: Reducing Indirect Function Call Overhead in C++ Programs - Calder, Grunwald - 1994
14: Optimization of object-oriented programs using static class hierarchy analysis - DEAN, GROVE et al. - 1995
BibTeX entry: (Update)
Hemant D. Pande and Barbara G. Ryder. Static type determination and aliasing for C++. Technical Report LCSR-TR-250, Department of Computer Science, Rutgers University, July 1995. http://citeseer.ist.psu.edu/pande95static.html More
@misc{ pande95static,
author = "H. Pande and B. Ryder",
title = "Static type determination and aliasing for C",
text = "Hemant D. Pande and Barbara G. Ryder. Static type determination and aliasing
for C++. Technical Report LCSR-TR-250, Department of Computer Science, Rutgers
University, July 1995.",
year = "1995",
url = "citeseer.ist.psu.edu/pande95static.html" }
Citations (may not include all citations):390 Interprocedural slicing using dependence graphs - Horwitz, Reps et al. - 1990
318 IEEE Transactions on Software Engineering (context) - Weiser - 1984
246 Context-sensitive interprocedural points-to analysis in the .. - Emami, Ghiya et al. - 1994
175 A safe approximate algorithm for interprocedural pointer ali.. - Landi, Ryder - 1992
166 Selecting software test data using data flow information (context) - Rapps, Weyuker - 1985
151 Object-oriented type inference - Palsberg, Schwartzbach - 1991
145 Customization: optimizing compiler technology for SELF (context) - Chambers, Ungar - 1989
144 Two approaches to interprocedural data flow analysis (context) - Sharir, Pnueli - 1981
97 Pointer-induced aliasing: A problem classification (context) - Landi, Ryder - 1991
86 A precise interprocedural data flow algorithm (context) - Myers - 1981
85 Reducing indirect function call overhead in C ++ programs - Calder, Grunwald - 1994
79 Efficient flow-sensitive interprocedural computation of poin.. - Choi, Burke et al. - 1993
76 The program summary graph and flow-sensitive interprocedural.. (context) - Callahan - 1988
70 An interval-based approach to exhaustive and incremental int.. (context) - Burke - 1990
69 Interprocedural modification side effect analysis with point.. - Landi, Ryder et al. - 1993
68 ACM Letters on Programming Languages and Systems (context) - Landi, static - 1992
67 Iterative type analysis and extended message splitting: opti.. - Chambers, Ungar - 1990
66 Interprocedural side-effect analysis in linear time (context) - Cooper, Kennedy - 1988
51 Fast interprocedural alias analysis (context) - Cooper, Kennedy - 1989
48 Type inference of SELF: Analysis of objects with dynamic and.. - Agesen, Palsberg et al. - 1993
47 Interprocedural def-use associations for C systems with sing.. (context) - Pande, Landi et al. - 1994
36 IEEE Transactions on Software Engineering (context) - Ryder, call et al. - 1979
31 Static type determination for C - Pande, Ryder - 1994
30 Inferring types in smalltalk (context) - Suzuki - 1981
30 ACM Letters on Programming Languages and Systems (context) - Hall, Kennedy et al. - 1992
29 Compile-time analysis of object oriented programs (context) - Vitek, Harspool et al. - 1992
29 Constructing call multigraphs using dependence graphs - Lakhotia - 1993
28 Optimizing dynamically-typed object-oriented languages with .. (context) - Holzle, Chambers et al. - 1991
24 Interprocedural def-use associations in C programs (context) - Pande, Ryder et al. - 1991
23 Flow-insensitive interprocedural alias analysis in the prese.. - Burke, Carini et al.
22 Efficient computation of interprocedural definition-use chai.. (context) - Harrold, Soffa - 1994
21 Interprocedural data flow testing (context) - Harrold, Soffa - 1989
18 A program integration algorithm that accommodates semantic p.. (context) - Yang, Horwitz et al. - 1992
12 Data flow based test adequacy analysis for languages with po.. (context) - Ostrand, Weyuker - 1991
11 A data flow testing tool (context) - Frankl, Weyuker - 1985
4 Interprocedural type propagation for object-oriented languag.. (context) - Larcheveque - 1992
4 On interprocedural data flow analysis for object oriented la.. (context) - Suedholt, Steigner - 1992
3 Pointer-induce aliasing: A clarification (context) - Marlowe, Landi et al. - 1993
3 Interprocedural alias and type analysis for pointers (context) - Parameswaran - 1992
2 Complexity of interprocedural function pointer aliasing anal.. (context) - Zhang, Ryder - 1994
2 Optimizing dynamically-dispatched calls with tun-time type f.. (context) - Holzle, Chambers et al. - 1994
1 Interprocedural compile time analysis of C and C ++ systems (context) - Pande - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.rutgers.edu/pub/technical-reports/): More
Constrained REDO: An Alternative to REPLAY - Liew, Steinberg (1993) (Correct)
Jambalaya: Using Multicast for Blind Distributed Web Searching .. - Navas, Hirsh (1998) (Correct)
Law-Governed Regularities in Software Systems - Minsky (1994) (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