Testing an Optimising Compiler by Generating Random Lambda Terms

Authors: Michał H. Pałka, Koen Claessen, Alejandro Russo, John Hughes

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cse.chalmers.se/~russo/publications_files/AST2011.pdf.

Subject Terms: Categories and Subject Descriptors D.1.1 [Programming Techniques, Applicative (Functional) Programming, D.2.5 [Software Engineering, Testing and Debugging—Testing tools General Terms Verification Keywords Software Testing, Random Testing

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.1275; http://www.cse.chalmers.se/~russo/publications_files/AST2011.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.1275
http://www.cse.chalmers.se/~russo/publications_files/AST2011.pdf