A Rewriting Logic Semantics Approach to Modular Program Analysis
Mark Hills,
Grigore Rosu
Jul 11, 2010
Mark Hills
Associate Professor
My research interests include programming languages, program analysis, and software engineering.