Mark Hills
Mark Hills
Home
Teaching
Publications
Presentations
Contact
CV
Light
Dark
Automatic
A Rewriting Logic Semantics Approach to Modular Program Analysis
Mark Hills
,
Grigore Rosu
PDF
Date
Jul 11, 2010 — Jul 13, 2010
Event
21st International Conference on Rewriting Techniques and Applications (RTA 2010)
Location
Edinburgh, UK
Mark Hills
Associate Professor
My research interests include programming languages, program analysis, and software engineering.
Grigore Rosu
Cite
×