Steensgaard's algorithm

== Points-to analysis in almost linear time == 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), using evolutionary computing to generate and evaluate possible candidates for fixes. The former method is deterministic, while the latter is randomized.