Semantics of Separation−logic Typing and Higher−order Frame Rules for Algol−like Languages
Lars Birkedal‚ Noah Torp−Smith and Hongseok Yang
Journal
Logical Methods in Computer Science
Month
October
Number
5
Pages
1
Volume
2
Year
2006
Lars Birkedal‚ Noah Torp−Smith and Hongseok Yang