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 approach can guide the programmer in adding specifications (type annotations) to existing code, with the aim of easing adoption on legacy code. Pertinent to the topics of the HATRA workshop, we discuss the human-aspects of the tool here. CamFort is open-source and freely available online.
@article{arxiv.2011.06094,
title = {Guiding user annotations for units-of-measure verification},
author = {Dominic Orchard and Mistral Contrastin and Matthew Danish and Andrew Rice},
journal= {arXiv preprint arXiv:2011.06094},
year = {2020}
}
Comments
Presented at HATRA 2020 (Workshop on Human Aspects of Types and Reasoning Assistants) colocated with SPLASH 2020