Skip to main content

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)

PDF Publisher pdf
Language: English


Download (107kB) Preview
[thumbnail of Contrastin_et_al-2016-Proceedings_of_the_Fourth_Workshop_on_Sustainable_Software_for_Science_Practice_and_Experiences-VoR.pdf]
Preview
This file may not be suitable for users of assistive technology.
Request an accessible format

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
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)
Orchard, Dominic A.: https://orcid.org/0000-0002-7058-7842
  • Depositors only (login required):