Memory Representations in Rewriting Logic Semantics Definitions Mark Hills Mar 29, 2008 PDF Mark Hills Associate Professor My research interests include programming languages, program analysis, and software engineering.