Jason S Reich

Jason S Reich

University of York - York / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 5694878
person_outline Jason S Reich's MOST POPULAR ARTICLES
1-) Advances in lazy smallcheckJS Reich, M Naylor, C RuncimanImplementation and Application of Functional Languages: 24th International …, 2013212013
2-) Supercompilation and the ReduceronJS Reich, M Naylor, C RuncimanProceedings of the Second International Workshop on Metacomputation in …, 2010102010
3-) Lazy Generation of Canonical Test ProgramsJS Reich, M Naylor, C RuncimanImplementation and Application of Functional Languages, LNCS 7257, 69-84, 201292012
4-) Property-based Testing and Properties as Types: A hybrid approach to supercompiler verificationJS ReichUniversity of York, 201342013
5-) Optimus Prime: A new tool for interactive transformation and supercompilation of functional programsJS ReichMasters dissertation, University of York, UK, 200922009