Verifying Array Manipulating Programs by Tiling.

Supratik Chakraborty Ashutosh Gupta Divyesh Unadkat

Published in: SAS (2017)

Keyphrases

computer vision
high level
automatic programming
control structures
data sets
neural network
data mining
database systems
expert systems
model checking
stable models
image sensor
intermediate level