Verifying spatial properties of array computations
- Submitting institution
-
The University of Kent
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 9922
- Type
- D - Journal article
- DOI
-
10.1145/3133899
- Title of journal
- Proceedings of the ACM on Programming Languages
- Article number
- 75
- First page
- 1
- Volume
- 1
- Issue
- OOPSLA
- ISSN
- 2475-1421
- Open access status
- Compliant
- Month of publication
- October
- Year of publication
- 2017
- URL
-
https://kar.kent.ac.uk/62274/
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
3
- Research group(s)
-
-
- Citation count
- -
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Despite the prevalence of programming in modern science, few program verification techniques are used by scientists. This paper is significant because it describes a novel verification tool derived from scientific programming patterns. This tool is deployed in various places, including the Met Office. The core libraries have been used by Bloomberg who have since donated £100k to the project.
Bloomberg: Daniel Ruoso, druoso@bloomberg.net
Met Office: Glen Greed, glenn.greed@metoffice.gov.uk
"
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -
