Steensgaard's algorithm

It is proposed that this article be deleted because of the following concern:

Non-notable algorithm. No evidence of in depth coverage in independent reliable sources. ask for a WP:REFUND when there are a couple of thousand hits for the term on google scholar.

If you can address this concern by improving, copyediting, sourcing, renaming, or merging the page, please edit this page and do so. You may remove this message if you improve the article or otherwise object to deletion for any reason. Although not required, you are encouraged to explain why you object to the deletion, either in your edit summary or on the talk page. If this template is removed, do not replace it.

This message has remained in place for seven days, so the article may be deleted without further notice.

If you created the article, please don't be offended. Instead, consider improving the article so that it is acceptable according to the deletion policy.
Find sources: "Steensgaard's algorithm" – news · newspapers · books · scholar · JSTOR

Nominator: Please consider notifying the author/project:

{{subst:proposed deletion notify|Steensgaard's algorithm|concern=Non-notable algorithm. No evidence of in depth coverage in independent reliable sources. ask for a [[WP:REFUND]] when there are a couple of thousand hits for the term on google scholar.}} ~~~~

Timestamp: 20151015202313 20:23, 15 October 2015 (UTC)
Administrators: delete

This article provides insufficient context for those unfamiliar with the subject. Please help improve the article by providing more context for the reader. (October 2015) (Learn how and when to remove this message)

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)