L. O. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen, 1994. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Efficient Field-Sensitive Pointer Analysis for C - David Pearce Imperial (Correct)
Online Cycle Detection and Difference Propagation for.. - David Pearce Paul (Correct)
Reducing the Overhead of Dynamic Analysis - Yong, Horwitz (2002) (1 citation) (Correct)
A Survey of Empirical Results on Program Slicing - David Binkley Mark (Correct)
Analysis and Visualization of - Predicate Dependence On (Correct)
Forward Slices Are Smaller Than Backward Slices - David Binkley Mark (Correct)
Precise Call Graphs for C Programs with Function Pointers .. - Department Of Computer (Correct)
Fragment Class Analysis for Testing of Polymorphism in.. - Rountev, Milanova, Ryder (2004) (6 citations) (Correct)
Reflection Analysis for Java - Benjamin Livshits John (2005) (Correct)
Pure Aspects - Elcin Recebli Wolfson (Correct)
Pointer Analysis -- A Survey - Vishwanath Raman Computer (Correct)
Reflection Analysis for Java - Livshits, Whaley, Lam (2005) (Correct)
Improving Software Security with a C Pointer Analysis - Avots, Dalton, Livshits, Lam (2005) (Correct)
Reflection Analysis for Java - Livshits, Whaley, Lam (2005) (Correct)
Generalized Typestate Checking Using Set Interfaces and.. - Patrick Lam Viktor (2004) (Correct)
Effective Interprocedural Optimization of Object-Oriented Languages - Grove (1998) (5 citations) (Correct)
Practical and Accurate Low-Level Pointer Analysis - Matthew (Correct)
Domain-Specific Languages in Software Development - and the.. - Christensen (2003) (1 citation) (Correct)
Static and Dynamic Analysis of Call Chains in Java - Atanas Rountev Scott (2004) (1 citation) (Correct)
An Automatic Program Generator for Multi-Level Specialization - Glück, Jørgensen (1997) (2 citations) (Correct)
Parameterized Object Sensitivity for Points-to Analysis for .. - Milanova, Rountev, Ryder (2002) (Correct)
Checking and Inferring Local Non-Aliasing - Alex Aiken Aiken (2003) (5 citations) (Correct)
New Results on the Computability and Complexity of Points - to .. - Chakaravarthy (2003) (1 citation) (Correct)
Generalized Typestate Checking Using Set Interfaces and.. - Lam, Kuncak, Rinard (2004) (Correct)
Data Structure Analysis: A Fast and Scalable Context-Sensitive .. - Lattner, Adve (2003) (1 citation) (Correct)
First 50 documents Next 50
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