Verifying spatial properties of array computations.

Dominic A. Orchard Mistral Contrastin Matthew Danish Andrew C. Rice

Published in: Proc. ACM Program. Lang. (2017)

Keyphrases

programmable logic
data sets
information systems
model checking
databases
clustering algorithm
multidimensional arrays