Show simple item record

dc.contributor.authorContrastin, M
dc.contributor.authorDanish, Matthew
dc.contributor.authorOrchard, D
dc.contributor.authorRice, Andrew
dc.date.accessioned2016-09-26T09:30:17Z
dc.date.available2016-09-26T09:30:17Z
dc.date.issued2016-09-14
dc.identifier.issn1613-0073
dc.identifier.urihttps://www.repository.cam.ac.uk/handle/1810/260370
dc.description.abstractLightweight 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: $\textit{units-of-measure types}$ which specify the physical units of numerical quantities in a program; and $\textit{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.
dc.description.sponsorshipEngineering and Physical Sciences Research Council (Grant ID: EP/M026124/1)
dc.languageEnglish
dc.language.isoen
dc.publisherCEUR Workshop Proceedings
dc.rightsAttribution 4.0 International
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/
dc.titleLightning talk: Supporting software sustainability with lightweight specifications
dc.typeArticle
dc.description.versionThis is the final version of the article. It first appeared from CEUR Workshop Proceedings via http://ceur-ws.org/Vol-1686/
prism.publicationDate2016
prism.publicationNameCEUR Workshop Proceedings
prism.volume1686
dc.identifier.doi10.17863/CAM.4599
dcterms.dateAccepted2016-08-01
rioxxterms.versionVoR
rioxxterms.licenseref.urihttp://creativecommons.org/licenses/by/4.0/
rioxxterms.licenseref.startdate2016-09-14
dc.contributor.orcidDanish, Matthew [0000-0002-7186-387X]
dc.contributor.orcidRice, Andrew [0000-0002-4677-8032]
dc.publisher.urlhttp://ceur-ws.org/Vol-1686/
rioxxterms.typeJournal Article/Review
datacite.issupplementedby.doi10.17863/CAM.1190
cam.orpheus.successThu Jan 30 12:57:48 GMT 2020 - The item has an open VoR version.
rioxxterms.freetoread.startdate2100-01-01


Files in this item

Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record

Attribution 4.0 International
Except where otherwise noted, this item's licence is described as Attribution 4.0 International