Skip to main content
Kent Academic Repository

Supporting Software Sustainability with Lightweight Specifications

Contrastin, Mistral, Danish, Matthew, Rice, Andrew C., Orchard, Dominic A. (2016) Supporting Software Sustainability with Lightweight Specifications. CEUR Workshop Proceedings, 1686 . ISSN 1613-0073. (KAR id:66901)

Abstract

Lightweight specifications support software maintainability

by providing a way to verify that any changes to a code

base preserve certain program properties. We give two examples

of lightweight specifications for numerical code: units-of-measure

types which specify the physical units of numerical quantities in

a program; and stencil specifications which describe the pattern

of data access used in array computations. Not only can we

automatically verify that a program correctly implements these

requirements but specifications provide documentation for future

developers. Specifications can also be inferred and generated

automatically in some cases, further reducing programmer effort.

We finish by identifying future potential specification techniques

to ease the maintenance and comprehension of scientific code.

Item Type: Article
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Funders: [UNSPECIFIED] EPSRC
Depositing User: Dominic Orchard
Date Deposited: 03 May 2018 14:43 UTC
Last Modified: 24 Nov 2021 10:43 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/66901 (The current URI for this page, for reference purposes)

University of Kent Author Information

  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.