David F. Bacon, Peter F. Sweeney  Home/Search
Context Related
| ibm.com/people/d/dfb/p...Bacon96Fast.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/d/dfb/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Virtual functions make code easier for programmers to reuse but also make it harder for compilers to analyze. We investigate the ability of three static analysis algorithms to improve C++ programs by resolving virtual function calls, thereby reducing compiled code size and reducing program complexity so as to improve both human and automated program understanding and analysis. In measurements of seven programs of significant size (5000 to 20000 lines of code each) we found that on average the... (Update)
Similar documents based on text: More All
0.2: List of Publications - Bacon (2001) (Correct)
0.1: A Survey of Adaptive Optimization in Virtual Machines - Arnold, Fink, Grove, Hind.. (2004) (Correct)
0.1: Phase Shift Detection: A Problem Classification - Hind, Rajan, Sweeney (2003) (Correct)
BibTeX entry: (Update)
David F. Bacon and Peter F. Sweeney. Fast Static Analysis of C++ Virtual Function Calls. In OOPSLA '96 Conference Proceedings, San Jose, CA, October 1996. http://citeseer.ist.psu.edu/bacon96fast.html More
@inproceedings{ baconfast,
author = "David F. Bacon and Peter F. Sweeney",
title = "Fast Static Analysis of {C++} Virtual Function Calls",
pages = "324--341",
url = "citeseer.ist.psu.edu/bacon96fast.html" }
Citations (may not include all citations):149 Precise concrete type inference for object-oriented language.. - Plevyak, Chien - 1994
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
69 Interprocedural modification side effect analysis with point.. - Landi, Ryder et al. - 1993
67 Iterative type analysis and extended message splitting: opti.. - Chambers, Ungar - 1991
51 Simple and effective link-time optimization of Modula-3 prog.. - Fernandez - 1995
47 Simple and effective analysis of staticallytyped object-orie.. - Diwan, Moss et al. - 1996
45 a dynamicallytyped object-oriented language based on prototy.. (context) - Chambers, Ungar et al. - 1991
42 Eliminating virtual function calls in C++ programs - Aigner, olzle - 1996
38 Constraint-based type inference and parametric polymorphism - Agesen - 1994
31 Static type determination for C - Pande, Ryder - 1994
25 concrete type inference: A comparison of optimization techni.. (context) - Agesen, olzle - 1995
23 Making type inference practical - Oxhj, Palsberg et al. - 1992
21 Unreachable procedures in objectoriented programming - Srivastava - 1992
19 Data-flowbased virtual function resolution - Pande, Ryder - 1996
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.research.ibm.com/people/d/dfb/papers.html): More
List of Publications - Bacon (1998) (Correct)
Fallacies of the Multiprocessor Approach to Achieving Large.. - By David Bacon (1995) (Correct)
NEST: A Network Simulation and Prototyping Tool - Bacon, Dupuy, Schwartz, Yemini (1988) (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