Collaborated with:
A.J.Summers C.Urban S.Münger P.M.0001
Talks about:
program (1) permiss (1) infer (1) array (1)
Person: Jérôme Dohrau
DBLP: Dohrau:J=eacute=r=ocirc=me
Contributed to:
Wrote 1 papers:
- CAV-2018-DohrauSUM0 #array #source code
- Permission Inference for Array Programs (JD, AJS, CU, SM, PM0), pp. 55–74.