발행물

전체 논문

150

131

Step-Indexed Kripke Models over Recursive Worlds
Birkedal, L[Birkedal, Lars], Reus, B[Reus, Bernhard], Schwinghammer, J[Schwinghammer, Stovring, K[Stovring, Kristian, Thamsborg, J[Thamsborg, Jacob], Yang, H[Yang, Hongseok]
ACM SIGPLAN NOTICES, 201101

132

Nested Hoare Triples and Frame Rule for Higher-order Store
Schwinghammer, J[Schwinghammer, Birkedal, L[Birkedal, Lars], Reus, B[Reus, Bernhard], Yang, H[Yang, Hongseok]
LOGICAL METHODS IN COMPUTER SCIENCE, 2011

133

Abstraction for Concurrent Objects
Yang, H[Yang, Hongseok], Filipovic, I[Filipovic, Ivana], O`Hearn, P[O`Hearn, Peter], Rinetzky, N[Rinetzky, Noam]
THEORETICAL COMPUTER SCIENCE, 201012

134

Blaming the Client: On Data Refinement in the Presence of Pointers
O`Hearn, P[O`Hearn, Peter], Filipovic, I[Filipovic, Ivana], Torp-Smith, N[Torp-Smith, Noah, Yang, H[Yang, Hongseok]
FORMAL ASPECTS OF COMPUTING, 201009

135

Separation and Information Hiding
O`Hearn, PW [O`Hearn, Peter W., Yang, H [Yang, Hongseok], Reynolds, JC [Reynolds, John
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 200904

136

Relational Parametricity and Separation Logic
Birkedal, L[Birkedal, Lars], Yang, H[Yang, Hongseok]
LOGICAL METHODS IN COMPUTER SCIENCE, 2008

137

Goal-directed Weakening of Abstract Interpretation Results
Seo, S[Seo, Sunae], Yang, H[Yang, Hongseok], Yi, K[Yi, Kwangkeun], Han, T[Han, Taisook]
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 200710

138

Relational Separation Logic
Yang, H[Yang, Hongseok]
THEORETICAL COMPUTER SCIENCE, 200705

139

Semantics of Separation-logic Typing and Higher-order Frame Rules for Algol-like Languages
Birkedal, L[Birkedal, Lars], Torp-Smith, N[Torp-Smith, Noah, Yang, H[Yang, Hongseok]
LOGICAL METHODS IN COMPUTER SCIENCE, 200611

140

Beyond reachability: Shape abstraction in the presence of pointer arithmetic
Calcagno, C[Calcagno, Cristian, Distefano, D[Distefano, Dino], O`Hearn, PW[O`Hearn, Peter W.], Yang, H[Yang, Hongseok]
STATIC ANALYSIS, PROCEEDINGS, 2006