Testing an Optimising Compiler by Generating Random Lambda Terms
Licentiate thesis, 2012
functional programming
software testing
random testing
type systems
lambda calculus
Author
Michal Palka
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Areas of Advance
Information and Communication Technology
Subject Categories
Software Engineering
Computer Science
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