This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Hongseok Yang
A grouping.
Hongseok Yang: separation logic's semantics and the analyses built on it - local reasoning, decidability of spatial assertions, relational parametricity, shape analysis, bi-abduction, Views.
12 references
Views: compositional reasoning for concurrent programs
Thomas Dinsdale-Young and others (2013) · 40th ACM Symposium on Principles of Programming Languages (POPL) · Association for Computing Machinery
Compositional Shape Analysis by Means of Bi-Abduction
Cristiano Calcagno and others (2011) · Journal of the ACM · Association for Computing Machinery
Relational Parametricity and Separation Logic
Lars Birkedal and others (2008) · Logical Methods in Computer Science · Centre pour la Communication Scientifique Directe (CCSD)
Scalable Shape Analysis for Systems Code
Hongseok Yang and others (2008) · Lecture notes in computer science · Springer Science+Business Media
Relational parametricity and separation logic
Lars Birkedal and others (2007) · 10th International Conference on Foundations of Software Science and Computational Structures (FoSSaCS) · Springer
Local Action and Abstract Separation Logic
Cristiano Calcagno and others (2007) · 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) · IEEE
A Local Shape Analysis Based on Separation Logic
Dino Distefano and others (2006) · Tools and Algorithms for the Construction and Analysis of Systems · Springer
Possible worlds and resources: the semantics of BI
David J. Pym and others (2004) · Theoretical Computer Science · Elsevier BV
A Semantic Basis for Local Reasoning
Hongseok Yang and others (2002) · Foundations of Software Science and Computation Structures · Springer
Computability and Complexity Results for a Spatial Assertion Language for Data Structures
Cristiano Calcagno and others (2001) · Foundations of Software Technology and Theoretical Computer Science (FSTTCS) · Springer
Local Reasoning about Programs that Alter Data Structures
Peter W. O'Hearn and others (2001) · Computer Science Logic · Springer
Local reasoning for stateful programs
Hongseok Yang (2001) · University of Illinois