A Simple Abstraction of Arrays and Maps by Program Translation.

David Monniaux, Francesco Alberti

Browse the full SAS paper archive.