Automatic Parallelization with Separation Logic.

Mohammad Raza Cristiano Calcagno Philippa Gardner

Published in: ESOP (2009)

Keyphrases

semi automatic
fully automatic
databases
parallel processing
multi valued
classical logic
machine learning
case study
coarse grained
predicate logic