Advances in lazy smallcheck JS Reich, M Naylor, C Runciman Implementation and Application of Functional Languages: 24th International …, 2013 | 21 | 2013 |
Supercompilation and the Reduceron JS Reich, M Naylor, C Runciman Proceedings of the Second International Workshop on Metacomputation in …, 2010 | 10 | 2010 |
Lazy Generation of Canonical Test Programs JS Reich, M Naylor, C Runciman Implementation and Application of Functional Languages, LNCS 7257, 69-84, 2012 | 9 | 2012 |
Property-based Testing and Properties as Types: A hybrid approach to supercompiler verification JS Reich University of York, 2013 | 4 | 2013 |
Towards a Dependable Supercompiler for the Reduceron JS Reich Qualifying dissertation, University of York, 2010 | 1 | 2010 |
Optimus Prime: A new tool for interactive transformation and supercompilation of functional programs JS Reich Masters dissertation, University of York, 2009 | 1 | 2009 |
Towards a Dependable Optimising Compiler for the Reduceron JS Reich | | 2011 |