A Simple Model of Separation Logic for Higher−Order Store
Lars Birkedal‚ Bernhard Reus‚ Jan Schwinghammer and Hongseok Yang
Address
Reykjavik‚ Iceland
Book Title
Proceedings of the 35th International Colloquium on Automata‚ Languages and Programming
ISBN
978−3−540−70582−6
Month
July
Pages
348–360
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
5126
Year
2008