Supporting Software Sustainability with Lightweight Specifications

Autor: Contrastin, Mistral, Danish, Matthew, Rice, Andrew C., Orchard, Dominic A.
Jazyk: angličtina
Rok vydání: 2016
Předmět:
ISSN: 1613-0073
Popis: Lightweight specifications support software maintainability\ud by providing a way to verify that any changes to a code\ud base preserve certain program properties. We give two examples\ud of lightweight specifications for numerical code: units-of-measure\ud types which specify the physical units of numerical quantities in\ud a program; and stencil specifications which describe the pattern\ud of data access used in array computations. Not only can we\ud automatically verify that a program correctly implements these\ud requirements but specifications provide documentation for future\ud developers. Specifications can also be inferred and generated\ud automatically in some cases, further reducing programmer effort.\ud We finish by identifying future potential specification techniques\ud to ease the maintenance and comprehension of scientific code.
Databáze: OpenAIRE