Cover Image for System.Linq.Enumerable+EnumerablePartition`1[System.Char]

Evolving Fortran types with inferred units-of-measure

Dominic Orchard, Andrew Rice, Oleg Oshmyan

OAI: oai:www.repository.cam.ac.uk:1810/248216

Published by:

Abstract

units-of-measure dimension typing type systems verification code base evolution Fortran language design