Results 1-1 of 1 (Search time: 0.003 seconds).
NO | Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date) |
---|---|
Semantics of Separation-logic Typing and Higher-order Frame Rules for Algol-like Languages Birkedal, Lars; Torp-Smith, Noah; Yang, Hongseok, LOGICAL METHODS IN COMPUTER SCIENCE, v.2, no.5, 2006-11 |
Discover