Measuring with confidence : leveraging expressive type systems for correct-by-construction software

McBride, Conor and Nakov, Georgi and Nordvall Forsberg, Fredrik (2023) Measuring with confidence : leveraging expressive type systems for correct-by-construction software. Acta IMEKO, 12 (1). 15. ISSN 2221-870X (https://doi.org/10.21014/actaimeko.v12i1.1412)

Preview

Text. Filename: McBride_etal_AI_2023_Measuring_with_confidence_leveraging_expressive_type.pdf Final Published Version License: Download (608kB)| Preview

Abstract

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.

• Share and Export
  

  RDF+XMLBibTeXRIOXX2 XMLRDF+N-TriplesJSONDublin CoreAtomSimple MetadataReferMETSHTML CitationASCII CitationOpenURL ContextObjectEndNoteOpenURL ContextObject in SpanMODSMPEG-21 DIDLEP3 XMLData Cite XMLRIS (EndNote Online, Zotero, Ref manager, etc)RDF+N3Multiline CSV
• Item metadata

  Item type:	Article
  ID code:	85091
  Dates:	Date Event 22 March 2023 Published 28 February 2023 Accepted
  Subjects:	Science > Mathematics > Electronic computers. Computer science
  Department:	Faculty of Science > Computer and Information Sciences
  Depositing user:	Pure Administrator
  Date deposited:	06 Apr 2023 14:00
  Last modified:	27 Apr 2024 00:35
  URI:	https://strathprints.strath.ac.uk/id/eprint/85091