A Rewriting Logic Approach to Static Checking of Units of Measurement in C
作者
Mark Hills, Feng Chen, Grigore Rosu
发表日期
2008
期刊
RULE 2008: The Ninth International Workshop on Rule-Based Programming
卷号
8
出版商
Elsevier, To Appear
学术搜索中的文章
M Hills, F Chen, G Roşu - Electronic Notes in Theoretical Computer Science, 2012