Browse "CS-Journal Papers(저널논문)" by Author Yang, Hongseok
Showing results 48 to 50 of 50
| Towards Verified Stochastic Variational Inference for Probabilistic Programs Lee, Wonyeol; Yu, Hangyeol; Rival, Xavier; Yang, Hongseok, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, v.4, 2020-01 |
| Two for the Price of One: Lifting Separation Logic Assertions Thamsborg, Jacob; Birkedal, Lars; Yang, Hongseok, LOGICAL METHODS IN COMPUTER SCIENCE, v.8, no.3, 2012 |
| Views: Compositional Reasoning for Concurrent Programs Dinsdale-Young, Thomas; Birkedal, Lars; Gardner, Philippa; Parkinson, Matthew; Yang, Hongseok, ACM SIGPLAN NOTICES, v.48, no.1, pp.287 - 299, 2013-01 |
Discover
Open Access
- 187 OA Article