Lightning talk: Supporting software sustainability with lightweight specifications
| cam.orpheus.success | Thu Jan 30 12:57:48 GMT 2020 - The item has an open VoR version. | |
| datacite.issupplementedby.doi | 10.17863/CAM.1190 | |
| dc.contributor.author | Contrastin, M | |
| dc.contributor.author | Danish, M | |
| dc.contributor.author | Orchard, D | |
| dc.contributor.author | Rice, A | |
| dc.contributor.orcid | Danish, Matthew [0000-0002-7186-387X] | |
| dc.contributor.orcid | Rice, Andrew [0000-0002-4677-8032] | |
| dc.date.accessioned | 2016-09-26T09:30:17Z | |
| dc.date.available | 2016-09-26T09:30:17Z | |
| dc.date.issued | 2016-09-14 | |
| dc.description.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: $\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.sponsorship | Engineering and Physical Sciences Research Council (Grant ID: EP/M026124/1) | |
| dc.description.version | This is the final version of the article. It first appeared from CEUR Workshop Proceedings via http://ceur-ws.org/Vol-1686/ | |
| dc.identifier.doi | 10.17863/CAM.4599 | |
| dc.identifier.issn | 1613-0073 | |
| dc.identifier.uri | https://www.repository.cam.ac.uk/handle/1810/260370 | |
| dc.language | English | |
| dc.language.iso | eng | |
| dc.publisher | CEUR Workshop Proceedings | |
| dc.rights | Attribution 4.0 International | |
| dc.rights.uri | http://creativecommons.org/licenses/by/4.0/ | |
| dc.title | Lightning talk: Supporting software sustainability with lightweight specifications | |
| dc.type | Article | |
| dcterms.dateAccepted | 2016-08-01 | |
| prism.publicationDate | 2016 | |
| prism.publicationName | CEUR Workshop Proceedings | |
| prism.volume | 1686 | |
| rioxxterms.licenseref.startdate | 2016-09-14 | |
| rioxxterms.licenseref.uri | http://creativecommons.org/licenses/by/4.0/ | |
| rioxxterms.type | Journal Article/Review | |
| rioxxterms.version | VoR |
Files
Original bundle
1 - 2 of 2
Loading...
- Name:
- Contrastin_et_al-2016-Proceedings_of_the_Fourth_Workshop_on_Sustainable_Software_for_Science_Practice_and_Experiences-VoR.pdf
- Size:
- 99.79 KB
- Format:
- Adobe Portable Document Format
- Description:
- Published version
- Licence
- http://creativecommons.org/licenses/by/4.0/
No Thumbnail Available
- Name:
- Contrastin_et_al-2016-Proceedings_of_the_Fourth_Workshop_on_Sustainable_Software_for_Science_Practice_and_Experiences-AM.pdf
- Size:
- 99.71 KB
- Format:
- Adobe Portable Document Format
- Description:
- Accepted version
- Licence
- http://creativecommons.org/licenses/by/4.0/
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 3.8 KB
- Format:
- Item-specific license agreed upon to submission