论文标题
指导用户注释验证单位
Guiding user annotations for units-of-measure verification
论文作者
论文摘要
这项扩展了有关Camfort项目先前工作的摘要报告，在该项目中，我们开发了针对科学家的福特代码的外部量化单位类型系统。我们的方法可以指导程序员将规格（类型注释）添加到现有代码中，以减轻对旧版代码的采用。与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.
