Separation Logic in the Presence of Garbage Collection
Publication | Article published June 2011 |
---|---|
Authors | Chung-Kil Hur, Derek Dreyer, Viktor Vafeiadis |
This is the public page for a publication record in Dimensions, a free research insights platform that brings together information about funding, scholarly outputs, policy, patents and grants.
Loading metrics…