Variables as Resource in Separation Logic
Richard Bornat‚ Cristiano Calcagno and Hongseok Yang
Book Title
Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics
Month
May
Pages
247–276
Publisher
Elsevier
Series
Electronic Notes in Theoretical Computer Science
Volume
155
Year
2006