TY  - RPRT
TI  - Analyzing Array Manipulating Programs by Program Transformation
AU  - Cornish, J. Robert M.
AU  - Gange, Graeme
AU  - Navas, Jorge A.
AU  - Schachte, Peter
AU  - Sondergaard, Harald
AU  - Stuckey, Peter J.
PY  - 2014
UR  - https://ntrs.nasa.gov/citations/20150011436
ID  - 20150011436
ER  -