Return to Article Details A Random Generation of Haskell Programs Applied to Optimization Testing in Compilers Download Download PDF