A Rewriting Logic Approach to Static Checking of Units of Measurement in C

Mark Hills, Feng Chen, Grigore Rosu
Jul 18, 2008
PDF
Mark Hills
Mark Hills
Associate Professor

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

Grigore Rosu
Grigore Rosu