Flow Equivalence Code in Haskell
I’ve talked about this code for a few blog entries… so in case anyone was interested in seeing the end result:
There it is. The main function of interest is canonicalForm, defined at the very end. This is a computational version of Franks’ construction of canonical forms of flow equivalence classes. Sorry about the GPL license; it was to avoid an argument, and it’s unlikely this would ever be commercially useful anyway.