ESP Wiki is looking for moderators and active contributors!

Difference between revisions of "Steensgaard's algorithm"

(link Microsoft)
(I've tried to improve the first paragraph)
Line 1: Line 1:
[http://dl.acm.org/citation.cfm?id=237727 Steensgaard's algorithm] is a novel and very efficient algorithm for alias analysis patented by [[Microsoft]]. It is widely known to be patented, and it is often considered that all "unification based pointer analysis" is claimed by patents.
+
[http://dl.acm.org/citation.cfm?id=237727 Steensgaard's algorithm] is an algorithm for efficient alias analysis, which is believed to be patented by [[Microsoft]].<ref>http://lists.cs.uiuc.edu/pipermail/llvmdev/2009-September/025631.html</ref>  Some consider that all "unification based pointer analysis" is covered by the patents which cover this algorithm.<ref>http://lists.cs.uiuc.edu/pipermail/llvmdev/2009-September/025631.html</ref>
  
In 2006, [http://lists.cs.uiuc.edu/pipermail/llvmdev/2006-December/007552.html LLVM decided to remove an implementation of the algorithm due to patent concerns]. LLVM mailing list regularly receives queries related to the algorithm, which are invariably answered that it was removed due to patent concerns. [http://lists.cs.uiuc.edu/pipermail/llvmdev/2007-November/011529.html In 2007]. [http://lists.cs.uiuc.edu/pipermail/llvmdev/2009-September/025631.html In 2009].
+
==Harm caused by this patent===
 +
 
 +
In 2006, [http://lists.cs.uiuc.edu/pipermail/llvmdev/2006-December/007552.html LLVM decided to remove an implementation of the algorithm due to patent concerns]. LLVM mailing list regularly receives queries related to the algorithm, which are invariably answered that it was removed due to patent concerns. (Examples:  [http://lists.cs.uiuc.edu/pipermail/llvmdev/2007-November/011529.html In 2007] and [http://lists.cs.uiuc.edu/pipermail/llvmdev/2009-September/025631.html in 2009].)
 +
 
 +
==References==
 +
{{reflist}}
 +
 
 +
 
 +
{{footer}}
 +
[[Category: Example software patents]]

Revision as of 11:40, 25 April 2015

Steensgaard's algorithm is an algorithm for efficient alias analysis, which is believed to be patented by Microsoft.[1] Some consider that all "unification based pointer analysis" is covered by the patents which cover this algorithm.[2]

Harm caused by this patent=

In 2006, LLVM decided to remove an implementation of the algorithm due to patent concerns. LLVM mailing list regularly receives queries related to the algorithm, which are invariably answered that it was removed due to patent concerns. (Examples: In 2007 and in 2009.)

References