Guiding user annotations for units-of-measure verification
Dominic Orchard, Mistral Contrastin, Matthew Danish, Andrew Rice
TL;DR
This paper discusses the CamFort project, which developed an external units-of-measure type system for Fortran aimed at guiding scientists in annotating legacy code, emphasizing human factors and ease of adoption.
Contribution
It introduces a type system that assists programmers in adding units-of-measure annotations to Fortran code, facilitating easier verification of units in scientific software.
Findings
Guides users in annotating legacy Fortran code with units-of-measure.
Open-source tool available online for community use.
Focus on human aspects to improve adoption and usability.
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSoftware Testing and Debugging Techniques · Advanced Malware Detection Techniques · Formal Methods in Verification