발행물

전체 논문

150

141

A local shape analysis based on separation logic
Distefano, D[Distefano, Dino], O`Hearn, PW[O`Hearn, Peter W.], Yang, H[Yang, Hongseok]
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2006

142

Static Insertion of Safe and Effective Memory Reuse Commands into ML-like Programs
Lee, O[Lee, O], Yang, H[Yang, Hongseok], Yi, K[Yi, K]
SCIENCE OF COMPUTER PROGRAMMING, 200510

143

Automatic verification of pointer programs using grammar-based shape analysis
Lee, O[Lee, O], Yang, HS[Yang, Hongseok], Yi, KK[Yi, KK]
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005

144

Possible Worlds and Resources: The Semantics of BI
Pym, DJ[Pym, DJ], OHearn, PW[OHearn, PW], Yang, H[Yang, Hongseok]
THEORETICAL COMPUTER SCIENCE, 200405

145

Inserting safe memory reuse commands into ML-like programs
Lee, O[Lee, O], Yang, H[Yang, Hongseok], Yi, K[Yi, K]
STATIC ANALYSIS, PROCEEDINGS, 2003

146

Automatic construction of hoare proofs from abstract interpretation results
Seo, SN[Seo, SN], Yang, H[Yang, Hongseok], Yi, KK[Yi, Kwangkeun]
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2003

147

Correctness of data representations involving heap data structures
Reddy, US[Reddy, US], Yang, H[Yang, Hongseok]
PROGRAMMING LANGUAGES AND SYSTEMS, 2003

148

A semantic basis for local reasoning
Yang, HS[Yang, HS], O`Hearn, P[O`Hearn, P]
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2002

149

On the semantics of refinement calculi
Yang, HS[Yang, Hongseok], Reddy, US[Reddy, US]
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 2000

150

통합된 버그잡는 기술들 : SLAM과 Bandera
양홍석[양홍석], 이욱세[이욱세]
정보과학회지, 200301