Research data supporting Verifying Spatial Properties of Array Computations
收藏DataCite Commons2024-12-17 更新2024-08-25 收录
下载链接：
https://www.repository.cam.ac.uk/handle/1810/267042
下载链接
链接失效反馈官方服务：
资源简介：
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).
提供机构：
Apollo - University of Cambridge Repository
创建时间：
2017-08-15
