17 citations · 23 across the 8 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2024★ 1 cited
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…
cs.PL2020★ 1 cited
Guiding user annotations for units-of-measure verification
Dominic Orchard, Mistral Contrastin, Matthew Danish +1
This extended abstract reports on previous work of the CamFort project in which we developed an external units-of-measure type system for Fortran code, targeted at scientists. Our…