Preserving model structure and constraints in scientific computing

Reference. Preserving model structure and constraints in scientific computing

Alistair Forbes, Keith Lines, Fredrik Nordvall Forsberg, Conor McBride, Andre Videla · Measurement: Sensors · 2025 · DOI

Cite

Cite as @forbes-2025-preserving (helia, typst) · \cite{forbes-2025-preserving} (LaTeX)

BibTeX

bibtex · 1 line

@article{forbes-2025-preserving, title={Preserving model structure and constraints in scientific computing}, volume={38}, ISSN={2665-9174}, url={http://dx.doi.org/10.1016/j.measen.2024.101796}, DOI={10.1016/j.measen.2024.101796}, journal={Measurement: Sensors}, publisher={Elsevier BV}, author={Forbes, Alistair and Lines, Keith and Forsberg, Fredrik Nordvall and McBride, Conor and Videla, Andre}, year={2025}, month=May, pages={101796} }

hayagriva YAML (typst)

yaml · 20 lines

forbes-2025-preserving:
  type: article
  title: Preserving model structure and constraints in scientific computing
  author:
  - Forbes, Alistair
  - Lines, Keith
  - Forsberg, Fredrik Nordvall
  - McBride, Conor
  - Videla, Andre
  date: 2025-05
  page-range: '101796'
  url: http://dx.doi.org/10.1016/j.measen.2024.101796
  serial-number:
    doi: 10.1016/j.measen.2024.101796
    issn: 2665-9174
  parent:
    type: periodical
    title: 'Measurement: Sensors'
    publisher: Elsevier BV
    volume: 38

Download: forbes-2025-preserving.bib · forbes-2025-preserving.yml

Cites 26 works (6 here)

With notes (6)

LabMate: A prospectus for types for MATLAB mcbride-2025-labmateMeasurement: Sensors · 2025

DOI

Measuring with confidence: leveraging expressive type systems for correct-by-construction software mcbride-2023-measuringActa IMEKO · 2023

Modern programming language type systems help programmers write correct software, and furthermore helps them write the software they actually intended to write. We show how expressive types can be used to encode dimension and units of measure information, which can be used to avoid dimensional mistakes and guide software construction, and how types can even help to generate code automatically, which eliminates a whole class of bugs.

DOI

Type systems for programs respecting dimensions mcbride-2022-typeAdvanced Mathematical and Computational Tools in Metrology and Testing XII · 2022

DOI

EXPRESSIVE TYPE SYSTEMS FOR METROLOGY mcbride-2022-expressiveProceedings of the First International IMEKO TC6 Conference on Metrology and Digital Transformation - M4Dconf2022 · 2022

DOI

Introduction to Higher-Order Categorical Logic lambek_scott_19861986

Web

Categories for the Working Mathematician maclane_19711971

Web

External (20)

Unclear units stymie science (2022)
Software representation of measured physical quantities (2022)
The International System of Units (SI Brochure), ninth edition (2019)
The next 700 unit of measurement checkers (2018)
Evaluation of mass measurements in accordance with the GUM (2014)
Category Theory for the Sciences (2014)
Functional Programming Using F# (2013)
Matrix Computations (fourth edition) (2013)
A categorical framework for knowledge representation (2012)
Evaluation of measurement data — supplement 2 to the “Guide to the expression of uncertainty in measurement” — extension to any number of output quantities (2011)
Types for units-of-measure: theory and practice (2010)
Parameter estimation based on least squares methods (2009)
Evaluation of measurement data — guide to the expression of uncertainty in measurement (2008)
NIST Special Publication 811: Guide for the Use of the International System of Units (SI) (2008)
Software support for physical quantities (2002)
Multidimensional Analysis: Algebras and Systems for Science and Engineering (1995)
A review of the fundamental concepts of measurement (1984)
The formulae-as-types notion of construction (1980)
Units of measure as a data attribute (1977)
Combinatory Logic, Vol. 1 (1958)