Units-of-Measure Correctness in Fortran Programs

Contrastin Mistral; Rice Andrew; Danish Matthew; Orchard Dominic

首页> 外文期刊>Computing in science & engineering >Units-of-Measure Correctness in Fortran Programs

【24h】

Units-of-Measure Correctness in Fortran Programs

机译：Fortran程序中的计量单位正确性

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

The authors argue that they can increase confidence in Fortran programs with unit annotations and CamFort units-of-measure analysis.

机译：作者认为，他们可以通过单元注释和CamFort度量单位分析来提高对Fortran程序的信心。

著录项

来源
《Computing in science & engineering》 |2016年第1期|102-107|共6页
作者
Contrastin Mistral; Rice Andrew; Danish Matthew; Orchard Dominic;
展开▼
作者单位

University of Cambridge;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
Fortran; measurement; scientific computing; scientific programming; specification; units; verification;

机译：Fortran;测量;科学计算;科学程序设计;规范;单位;验证;

相似文献

外文文献
中文文献
专利

1. Evolving Fortran types with inferred units-of-measure [J] . Orchard Dominic, Rice Andrew, Oshmyan Oleg Journal of computational science . 2015,第jula期

机译：不断推算的不断发展的Fortran类型
2. Quantity Correctness in Fortran Programs [J] . Marcus P. Foster Computing in science & engineering . 2017,第4期

机译：Fortran程序中的数量正确性
3. Introduction to programming with Fortran: with coverage of Fortran 90, 95, 2003, 2008 and 77 (3rd ed.) [J] . Edgar R. Chavez Computing reviews . 2016,第7期

机译：Fortran编程简介：涵盖了Fortran 90、95、2003、2008和77（第3版）。
4. Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions [C] . Martin Erwig, Zhe Fu Practical Aspects of Declarative Languages . 2004

机译：Parametric Fortran-用于自定义通用Fortran扩展的程序生成器
5. Development of a pre-processor and post-processor for FORTRAN-based structural engineering programs. [D] . Rosa Avila, Raymond. 2011

机译：为基于FORTRAN的结构工程程序开发预处理器和后处理器。
6. A collection of programs for nucleic acid and protein analysis written in FORTRAN 77 for IBM-PC compatible microcomputers. [O] . B F Lang, G Burger 1986

机译：用FORTRAN 77为IBM-PC兼容的微型计算机编写的核酸和蛋白质分析程序的集合。
7. Units-of-Measure Correctness in Fortran Programs [O] . Contrastin Mistral, Orchard Dominic, Rice Andrew, 2015

机译：Fortran程序中的计量单位正确性

Units-of-Measure Correctness in Fortran Programs

摘要

著录项

相似文献

相关主题

期刊订阅