On Formal Analysis of OO Languages using Rewriting Logic: Designing for Performance
Mark Hills,
Grigore Rosu
Jun 5, 2007
Mark Hills
Associate Professor
My research interests include programming languages, program analysis, and software engineering.