Separation Logic in the Presence of Garbage Collection

by Chung-kil Hur , Derek Dreyer , Viktor Vafeiadis
Citations:2 - 0 self