2020/11/11 by Dominic Orchard, Orchard, Dominic, Mistral Contrastin +5
Computer Science · #Advanced Malware Detection Techniques #D.2.4 #F.3.1 #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Software Testing and Debugging Techniques
paper · pdf · doi:10.48550/arxiv.2011.06094
openalex publication_date 2020/11/11 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.