Research data supporting Verifying Spatial Properties of Array Computations
Repository URI
Repository DOI
Change log
Authors
Description
This dataset reproduces findings from our paper "Verifying Spatial Properties of Array Computations". It contains the code necessary to reproduce our study of array programming idioms in scientific/numerical Fortran code (Section 2 of the paper), to demonstrate the inference, checking, and specification synthesis features of our verification tool via examples (Section 3 of the paper), and to produce statistics describing the various kinds of specifications that can be inferred over our test corpus (Section 7 of the paper).
Version
Software / Usage instructions
See the included guide (artifact-guide.pdf) for full instructions.
Keywords
Computer Science
Publisher
Rights
Apache 2.0
Sponsorship
Engineering and Physical Sciences Research Council (EP/M026124/1)