LabMate : a prospectus for types for MATLAB

Tools

McBride, Conor and Nakov, Georgi and Nordvall Forsberg, Fredrik and Videla, Andre and Forbes, Alistair and Lines, Keith (2025) LabMate : a prospectus for types for MATLAB. Measurement: Sensors. 101460. ISSN 2665-9174 (https://doi.org/10.1016/j.measen.2024.101460)

[thumbnail of npl_labmate_imeko2024] Text. Filename: npl_labmate_imeko2024.pdf
Accepted Author Manuscript
Restricted to Repository staff only until 1 January 2099.
Download (251kB) | Request a copy

Abstract

Many computations in science and engineering are implemented in the programming language MATLAB. However the high-level meaning of such MATLAB programs stays informal, which can lead to implementation errors and bugs, for example relating to incompatible units of measure for quantities, or incompatible sizes of matrices at runtime. We are in the process of developing LabMate, which is a tool for reifying current informal programmer practices into a language of formal comments. These comments are ignored by MATLAB, but acted on and checked by LabMate. We outline the design principles behind LabMate, our current progress, and our future plans.

ORCID iDs

McBride, Conor ORCID logoORCID: https://orcid.org/0000-0003-1487-0886, Nakov, Georgi, Nordvall Forsberg, Fredrik ORCID logoORCID: https://orcid.org/0000-0001-6157-9288, Videla, Andre, Forbes, Alistair and Lines, Keith;
CORE (COnnecting REpositories)