An Abstract Semantics Approach to Unit Safety

From FSL

Both papers have been superseded by A Rewriting Logic Approach to Static Checking of Units of Measurement in C.