A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Verifying spatial properties of array computations
2017
Proceedings of the ACM on Programming Languages
Arrays computations are at the core of numerical modelling and computational science applications. However, low-level manipulation of array indices is a source of program error. Many practitioners are aware of the need to ensure program correctness, yet very few of the techniques from the programming research community are applied by scientists. We aim to change that by providing targetted lightweight veriication techniques for scientiic code. We focus on the all too common mistake of array
doi:10.1145/3133899
dblp:journals/pacmpl/OrchardCDR17
fatcat:pkqflbkkwbcppliiofbqd2wqq4