Physical-type correctness in scientific Python

07/17/2018
by   Marcus Foster, et al.
0

The representation of units and dimensions in informatics systems is barely codified and often ignored. For instance, the major languages used in scientific computing (Fortran, C and Python), have no type for dimension or unit, and so physical quantities are represented in a program by variables of type real, resulting in the possibility of unit or dimensional errors. We demonstrate the limitations of two Python unit-libraries and present a justification and method for checking kind-of-quantity.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/15/2023

Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL

Formal verification of cyber-physical and robotic systems requires that ...
research
10/22/2022

A Discipline of Programming with Quantities

In scientific and engineering applications, physical quantities embodied...
research
10/17/2022

SA4U: Practical Static Analysis for Unit Type Error Detection

Unit type errors, where values with physical unit types (e.g., meters, h...
research
07/28/2020

Automated Unit Test Generation for Python

Automated unit test generation is an established research field, and mat...
research
10/01/2020

Scipp: Scientific data handling with labeled multi-dimensional arrays for C++ and Python

Scipp is heavily inspired by the Python library xarray. It enriches raw ...
research
02/28/2023

Safe-DS: A Domain Specific Language to Make Data Science Safe

Due to the long runtime of Data Science (DS) pipelines, even small progr...
research
08/26/2021

PTRAIL – A python package for parallel trajectory data preprocessing

Trajectory data represent a trace of an object that changes its position...

Please sign up or login with your details

Forgot password? Click here to reset