Skip to main content

IMEKO TC6 M4Dconf

Hybrid with physical attendance in Berlin, Germany

19 — 21 September 2022

Expressive type systems for metrology

Modeling metrology in software for digital transformation 

 

19th September, 10:40 CEST
Helmholtz Building, Lecture Hall

Authors

  • Conor McBride, University of Strathclyde, Glasgow, UK
  • Georgi Nakov, University of Strathclyde, Glasgow, UK
  • Fredrik Nordvall Forsberg, University of Strathclyde, Glasgow, UK

Paper

  • EXPRESSIVE TYPE SYSTEMS FOR METROLOGY162 KB

    Modern programming language type systems help programmers write correct software, and the software they 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.