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

Mark Hills Feng Chen Grigore Rosu

Published in: Electron. Notes Theor. Comput. Sci. (2012)

Keyphrases

logic programming
modal logic
classical logic
predicate logic
type checking
conjunctive queries
query rewriting
dynamic analysis
proof theory
verification method
rewriting rules
processing units
nonmonotonic logics
rewrite rules
regular path queries
sound and complete axiomatization