A Rewriting Logic Semantics Approach to Modular Program Analysis Jul 11, 2010· Mark Hills Grigore Rosu · 0 min read PDF Last updated on Jul 11, 2010 Authors Mark Hills Associate Professor Authors Grigore Rosu ← Building an IDE with Rascal May 18, 2011 A Rewriting Logic Approach to Static Checking of Units of Measurement in C Jul 18, 2008 →