Incremental units-of-measure verification

Matthew Danish, Dominic Orchard, Andrew Rice

Despite an abundance of proposed systems, the verification of units-of-measure within programs remains rare in scientific computing. We attempt to address this issue by providing a…