A Rewriting Logic Semantics Approach to Modular Program Analysis

Name: A Rewriting Logic Semantics Approach to Modular Program Analysis
Start: 2010-07-11T00:00:00Z
End: 2010-07-13T00:00:00Z
Location: Edinburgh, UK

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.