Programming Languages

An Engineering Approach to Dynamic Program Analysis by Layering Language Abstractions

by Michael Achenbach

PhD thesis. Aarhus University, 2010.