Partial Online Cycle Elimination in Inclusion Constraint Graphs (1998)

Cached

Download Links

by Manuel Fähndrich , Jeffrey S. Foster , Zhendong Su , Alexander Aiken
Venue:IN PROCEEDINGS OF THE 1998 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION
Citations:114 - 13 self

Active Bibliography

30 Program Analysis Using Mixed Term and Set Constraints – Manuel Fähndrich, Alexander Aiken - 1997
4 Entailment with conditional equality constraints – Zhendong Su, Alexander Aiken - 2001
20 The First-Order Theory of Subtype Constraints – Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen
68 Polymorphic versus monomorphic flow-insensitive points-to analysis for C – Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken - 2000
3 Polymorphic Constraint-Based Type Inference for Objects – Tiejun Wang, Scott F. Smith
3 Entailment of Set Constraints is not Feasible – Martin Müller, Joachim Niehren - 1997
27 Efficient field-sensitive pointer analysis for C – David J. Pearce, Paul H. J. Kelly, Chris Hankin
48 A Toolkit for Constructing Type- and Constraint-Based Program Analyses – Alexander Aiken , Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su - 1998
Ultra-fast Aliasin9 Analysis using CLA: A Million Lines – Nevin Heintze, Olivier Tardieu
12 Analysis of Large Code Bases: The Compile-Link-Analyze Model – Nevin Heintze - 1999
114 Ultra-fast aliasing analysis using CLA: a million lines of C code in a second – Nevin Heintze - 2001
7 Modular Data-Flow Analysis Of Statically Typed Object-Oriented Programming Languages – Ramkrishna Chatterjee, Ramkrishna Chatterjee, Ramkrishna Chatterjee, Dissertation Director, Barbara Gershon Ryder, Barbara Gershon Ryder - 2000
16 Effective Interprocedural Optimization of Object-Oriented Languages – David Paul Grove - 1998
3 From Polymorphic Subtyping to CFL Reachability: Context-Sensitive Flow Analysis Using Instantiation Constraints – Manuel Fähndrich, Jakob Rehof, Manuvir Das - 1999
23 A Framework for Type Inference with Subtyping – François Pottier - 1998
1 Efficient Algorithms for General Classes of Integer Range Constraints – Zhendong Su, David Wagner
69 Set Constraints: Results, Applications and Future Directions – Alexander Aiken
33 Effective Static Debugging via Componential Set-Based Analysis – Cormac Flanagan - 1997
6 Set Constraints in Program Analysis – Nevin Heintze - 1993