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


Date
Jul 18, 2008
Location
Hagenberg, Austria
Mark Hills
Mark Hills
Associate Professor

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