Searching for authors named "Hongseok Yang" – sorted by Relevance.
-
An example of local reasoning in BI pointer logic: the Schorr-Waite graph marking algorithm
- Hongseok Yang University of Illinois at Urbana-Champaign and University of Birmingham hyang
- Cited by 16 (1 self) – Add To MetaCart
-
Type Reconstruction for SCI, Part 2
- Type Reconstruction for SCI, Part 2 Hongseok Yang Howard Huang Department of Computer Science
- Add To MetaCart
-
Imperative Lambda Calculus Revisited
- Imperative Lambda Calculus Revisited Hongseok Yang Uday Reddy Department of Computer Science
- Cited by 3 (1 self) – Add To MetaCart
-
Type reconstruction for syntactic control of interference, part 2
- Type Reconstruction for Syntactic Control of Interference, Part 2 Hongseok Yang Howard Huang
- Cited by 1 (0 self) – Add To MetaCart
-
Data refinement with low-level pointer operations
- Data Refinement with Low-level Pointer Operations Ivana Mijajlović 1 and Hongseok Yang 2⋆ 1 Queen
- Cited by 4 (1 self) – Add To MetaCart
-
Relational parametricity and separation logic
- Relational Parametricity and Separation Logic Lars Birkedal 1 and Hongseok Yang 2 1 IT University
- Cited by 12 (6 self) – Add To MetaCart
-
Inserting Safe Memory Reuse Commands into ML-like Programs
- Inserting Safe Memory Reuse Commands into ML-like Programs ? Oukseh Lee, Hongseok Yang
- Cited by 4 (2 self) – Add To MetaCart
-
Goal-directed weakening of abstract interpretation results. Submitted for publication
- Goal-directed Weakening of Abstract Interpretation Results HONGSEOK YANG and SUNAE SEO
- Cited by 1 (0 self) – Add To MetaCart
-
On the Semantics of Refinement Calculi
- On the Semantics of Renement Calculi Hongseok Yang 1 and Uday S. Reddy 2 1 University
- Cited by 2 (1 self) – Add To MetaCart
-
Abstraction for Concurrent Objects ⋆
- Abstraction for Concurrent Objects ⋆ Ivana Filipović, Peter O’Hearn, Noam Rinetzky, and Hongseok
- Add To MetaCart

