A Rewriting Logic Semantics Approach to Modular Program Analysis


Date
Jul 11, 2010 — Jul 13, 2010
Location
Edinburgh, UK
Mark Hills
Mark Hills
Associate Professor

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