Testing an Optimising Compiler by Generating Random Lambda Terms
Licentiatavhandling, 2012
functional programming
software testing
random testing
type systems
lambda calculus
Författare
Michal Palka
Chalmers, Data- och informationsteknik, Programvaruteknik
Styrkeområden
Informations- och kommunikationsteknik
Ämneskategorier
Programvaruteknik
Datavetenskap (datalogi)
Technical report L - Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University: 94L
Lecture room ED, ED&IT building, Rännvägen 6B, Chalmers University of Technology
Opponent: Prof. Robby Findler, McCormick School of Engineering, Northwestern University, IL, USA