On Formal Analysis of OO Languages using Rewriting Logic: Designing for Performance


Date
Jun 5, 2007 — Jun 8, 2007
Location
Paphos, Cyprus
Mark Hills
Mark Hills
Associate Professor

My research interests include programming languages, program analysis, and software engineering.