Relational Parametricity and Separation Logic
Lars Birkedal and Hongseok Yang
Address
Braga‚ Portugal
Book Title
Proceedings of the 10th International Conference on Foundations of Software Science and Computational Structures
ISBN
978−3−540−71388−3
Month
March
Pages
93–107
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
4423
Year
2007