Analyzing Array Manipulating Programs by Program Transformation.

J. Robert M. Cornish, Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey

Browse the full LOPSTR paper archive.