Searching for authors named "Hongseok Yang" – sorted by Relevance.
31 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
