Lazy Generation of Canonical Test Programs

Jason S. Reich, Matthew Naylor, Colin Runciman. Lazy Generation of Canonical Test Programs. In Andy Gill, Jurriaan Hage, editors, Implementation and Application of Functional Languages - 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers. Volume 7257 of Lecture Notes in Computer Science, pages 69-84, Springer, 2011. [doi]

Abstract

Abstract is missing.