Separation Logic in the Presence of Garbage Collection - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chung-Kil Hur, Derek Dreyer, Viktor Vafeiadis. Separation Logic in the Presence of Garbage Collection. In Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, June 21-24, 2011, Toronto, Ontario, Canada. pages 247-256, IEEE Computer Society, 2011. [doi]

This author has not been identified. Look up 'Chung-Kil Hur' in GoogleThis author has not been identified. Look up 'Derek Dreyer' in GoogleIdentified as Viktor Vafeiadis

runs on WebDSL