Permission Inference for Array Programs.

Jrme Dohrau, Alexander J. Summers, Caterina Urban, Severin Mnger, Peter Mller

Browse the full CAV paper archive.