TY - RPRT TI - Permission Inference for Array Programs AU - Jérôme Dohrau AU - Alexander J. Summers AU - Caterina Urban AU - Severin Münger AU - Peter Müller PY - 2018 UR - https://arxiv.org/abs/1804.04091 ID - 1804.04091 ER -