Automatic Parallelization with Separation Logic

by Mohammad Raza , Cristiano Calcagno
Citations:17 - 2 self