HIGHLIGHTS
- who: Conor McBride et al. from the Section Editor: Daniel Hutzschenreuter, PTB, GermanyDepartment of Computer and Information Sciences, University of Strathclyde, Glasgow, UK have published the research: Measuring with confidence: leveraging expressive type systems for correct-by-construction software, in the Journal: (JOURNAL)
- what: The authors 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. As a small case study . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.