Ensuring computations are unit-wise consistent is an important task in software
development. Numeric computations are usually performed with primitive types instead of …

Numbers in spreadsheets often have units: metres, grams, dollars, etc. Spreadsheet cells
typically cannot carry unit information, and even where they can, users may not be motivated …

Despite an abundance of proposed systems, the verification of units-of-measure within
programs remains rare in scientific computing. We attempt to address this issue by providing …

Kent Academic Repository Page 1 Contrastin, Mistral, Rice, Andrew, Danish, Matthew and
Orchard, Dominic A. (2015) Units-of-Measure Correctness in Fortran Programs. Computing in …

Design Computation is the use of programming in the design of physical systems such as
buildings and infrastructure. This involves embedding both general-purpose textual …

Lightweight specifications support software maintainability by providing a way to verify that
any changes to a code base preserve certain program properties. We give two examples of …

The Fortran programming language continues to dominate the scientific computing
community, with many production codes written in the outdated Fortran-77 dialect, yet with …

CamFort is our multi-purpose tool for lightweight analysis and verification of scientific Fortran
code. One core feature provides units-of-measure verification (dimensional analysis) of …

Recently, dynamic language users have started to recognize the value of types in their code.
To fulfil this need, many popular dynamic languages have adopted extensions that support …

Robot software risks the hazard of dimensional inconsistencies. These inconsistencies
occur when a program incorrectly manipulates values representing real-world quantities …