CfPBoK
by
Vadim Zaytsev
sle2018/paper01
SLE 2018
paper:
The Next 700 Unit of Measurement Checkers
Oscar Bennich-Björkman
,
Steve McKeever
DOI:
10.1145/3276604.3276613
T1B: Static Semantics
The paper’s main contribution concerns static semantics, especially typing or constraint checking.
T4A: Workbenches
It includes substantial tool support or infrastructure relevant for engineering/using languages.
T5E: Empirical Evaluation
It reports an empirical evaluation (experiments, study, benchmarks, or measurements).
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: June 2026.