Semantics of Separation−logic Typing and Higher−order Frame Rules
Lars Birkedal‚ Noah Torp−Smith and Hongseok Yang
Address
Chicago
Book Title
Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
Month
June
Pages
260–269
Publisher
IEEE
Year
2005