Hongseok Yang

7 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Views: compositional reasoning for concurrent programs

Thomas Dinsdale-Young et al. (2013) · 40th ACM Symposium on Principles of Programming Languages (POPL)

Relational parametricity and separation logic

Lars Birkedal et al. (2007) · 10th International Conference on Foundations of Software Science and Computational Structures (FoSSaCS)

Local Action and Abstract Separation Logic

Cristiano Calcagno et al. (2007) · 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)

A Local Shape Analysis Based on Separation Logic

Dino Distefano et al. (2006) · Tools and Algorithms for the Construction and Analysis of Systems

Computability and Complexity Results for a Spatial Assertion Language for Data Structures

Cristiano Calcagno et al. (2001) · Foundations of Software Technology and Theoretical Computer Science (FSTTCS)

Local Reasoning about Programs that Alter Data Structures

Peter W. O'Hearn et al. (2001) · Computer Science Logic

Local reasoning for stateful programs

Hongseok Yang (2001)