A safe approximate algorithm for interprocedural pointer aliasing (with retrospective)
William LandiBarbara G. RyderPublished in: Best of PLDI (1992)
Keyphrases
- computational complexity
- times faster
- experimental evaluation
- preprocessing
- high accuracy
- computational cost
- data structure
- simulated annealing
- detection algorithm
- cost function
- np hard
- dynamic programming
- computationally efficient
- exact solution
- theoretical analysis
- optimization algorithm
- improved algorithm
- objective function
- particle swarm optimization
- worst case
- significant improvement
- evolutionary algorithm
- optimal solution
- k means
- search space