Bottom-Up Synthesis of Memory Mutations with Separation Logic.

Kasra Ferdowsi, Hila Peleg

Browse the full ECOOP paper archive.