Testing an optimising compiler by generating random lambda terms.

Michal H. Palka Koen Claessen Alejandro Russo John Hughes

Published in: AST (2011)

Keyphrases

software systems
general purpose
information systems
co occurrence
programming language
machine learning
artificial intelligence
video sequences
search algorithm
test data
fixed point
generation process