A Logic of Singly Indexed Arrays.

Peter Habermehl, Radu Iosif, Toms Vojnar

Browse the full LPAR paper archive.