Steensgaard's algorithm

Points to-analysis Pointer_analysis is a very important technique used in code optimizations. Bjarne Steensgaard presented an idea of reducing points-to analysis to type inference and type checking, thereby modeling a linear space and almost linear time algorithm for points-to set computation. Bjarne Steensgaard (1996). "Points-to Analysis in Almost Linear Time". {{cite journal}}: Cite journal requires |journal= (help); Text "Company -Microsoft Research, One Microsoft Way, Redmond" ignored (help)