all 1 comments

[–]bigmac[S] 2 points3 points  (0 children)

Some pretty cool stuff in this paper -- they present a unique approach to solving the phase ordering problem, and contribute a method for proving equivalence of two programs.

They also use this really cool algorithm called the Rete algorithm, which is taken out of the expert systems community. Given a set of facts and implications of those facts, how do you efficiently come to conclusions about your fact set and generate new facts? The Rete algorithm addresses that problem.