Memory Representations in Rewriting Logic Semantics Definitions


Date
Mar 29, 2008 — Mar 30, 2008
Event
7th International Workshop on Rewriting Logic and its Applications (WRLA 2008)
Location
Budapest, Hungary
Mark Hills
Mark Hills
Associate Professor

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