Browse "CS-Journal Papers(저널논문)" by Author Torp-Smith, Noah
Showing results 1 to 2 of 2
| Blaming the Client: On Data Refinement in the Presence of Pointers Filipovic, Ivana; O'Hearn, Peter; Torp-Smith, Noah; Yang, Hongseok, FORMAL ASPECTS OF COMPUTING, v.22, no.5, pp.547 - 583, 2010-09 |
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
Open Access
- 187 OA Article