用于测量单位验证的指导用户注释
Guiding user annotations for units-of-measure verification
摘要：
这扩展摘要报告以前的工作CamFort项目中，我们开发了一个外部单位的测量类型系统的Fortran代码，针对科学家。我们的方法可以指导程序员在现有代码中添加规范（类型注释），目的是简化对遗留代码的采用。与HATRA研讨会的主题相关，我们在这里讨论该工具的人性化方面。CamFort是开源的，可以在网上免费获得。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
