A Rewriting Logic Approach to Static Checking of Units of Measurement in C Jul 18, 2008· Mark Hills , Feng Chen Grigore Rosu · 0 min read PDF Last updated on Jul 18, 2008 Authors Mark Hills Associate Professor Authors Grigore Rosu ← A Rewriting Logic Semantics Approach to Modular Program Analysis Jul 11, 2010 Towards a Module System for K Jun 13, 2008 →