( en | de | ru )

 

Disambiguierung von "Yang, Hongseok"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Local Reasoning about Programs that Alter Data Structures.

, , und . CSL, Volume 2142 von Lecture Notes in Computer Science, Seite 1-19. Springer, (2001)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Yang Yang

Yang Yang

Yang Yang

Yang Yang

Yang Yang

 

Weitere Publikationen von Autoren mit dem selben Namen

Some Semantic Issues in Probabilistic Programming Languages (Invited Talk).. FSCD, Volume 131 von LIPIcs, Seite 4:1-4:6. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Program Analysis for Overlaid Data Structures., , und . CAV, Volume 6806 von Lecture Notes in Computer Science, Seite 592-608. Springer, (2011)A Semantic Basis for Local Reasoning., und . FoSSaCS, Volume 2303 von Lecture Notes in Computer Science, Seite 402-416. Springer, (2002)On Nesting Monte Carlo Estimators., , , und . ICML, Volume 80 von Proceedings of Machine Learning Research, Seite 4264-4273. PMLR, (2018)Abstraction for Concurrent Objects., , , und . ESOP, Volume 5502 von Lecture Notes in Computer Science, Seite 252-266. Springer, (2009)Inference Trees: Adaptive Inference with Exploration, , , , , , und . (2018)cite arxiv:1806.09550.Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference., , und . Proc. ACM Program. Lang., 7 (POPL): 335-366 (Januar 2023)Possible worlds and resources: the semantics of BI., , und . Theor. Comput. Sci., 315 (1): 257-305 (2004)α-Stable convergence of heavy-tailed infinitely-wide neural networks., , , und . CoRR, (2021)Blaming the client: on data refinement in the presence of pointers., , , und . Formal Aspects Comput., 22 (5): 547-583 (2010)