Steensgaard's algorithm
 | This article provides insufficient context for those unfamiliar with the subject. |
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. Steensgaard, Bjarne (1996). "Points-to Analysis in Almost Linear Time". {{cite journal}}: Cite journal requires |journal= (help)
Bjarne proposed the points-to analysis for a small imperative but generic pointer language which captures the essential properties of other common pointer languages like C. He has proposed language semantics and typing rules which he use for the analysis.
 | This article has not been added to any content categories. Please help out by adding categories to it so that it can be listed with similar articles. (October 2015) |