[Haskell-cafe] Comparing programs

2006-03-06 Thread Harry Chesley
This is more of an algorithm question than a language question, but any insights would be much appreciated. The problem is to input a series of programs and find previous occurrences of the same algorithm. The programs consist of a set of input parameters (a, b, c, ...), and a set of

Re: [Haskell-cafe] Comparing programs

2006-03-06 Thread Robert Dockins
On Mar 6, 2006, at 1:05 PM, Harry Chesley wrote: This is more of an algorithm question than a language question, but any insights would be much appreciated. The problem is to input a series of programs and find previous occurrences of the same algorithm. The programs consist of a set of

Re: [Haskell-cafe] Comparing programs

2006-03-06 Thread Jacques Carette
I believe you might be able to use (commutative) anti-unification, also known as generalization for this task. Jacques Harry Chesley wrote: This is more of an algorithm question than a language question, but any insights would be much appreciated. The problem is to input a series of programs

Re: [Haskell-cafe] Comparing programs

2006-03-06 Thread Brian Hulley
Harry Chesley wrote: But here's the thing that makes it hard (at least for me): two programs are considered the same if they can be made to match by rearranging the order of the input parameters. I.e., f(a), g(b) is the same as f(b), g(a). Although parameters can be reordered, they cannot be