( en | de | ru )

 

Disambiguierung von "Yang, Hongseok"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On abstraction refinement for program analyses in Datalog.

, , , , und . PLDI, Seite 239-248. ACM, (2014)

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

Design and Implementation of Probabilistic Programming Language Anglican., , , und . IFL, Seite 6:1-6:12. ACM, (2016)Automatically generating features for learning program analysis heuristics., , , und . CoRR, (2016)The Beta-Bernoulli process and algebraic effects., , , , , und . ICALP, Volume 107 von LIPIcs, Seite 141:1-141:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Algebraic Laws for Weak Consistency., , und . CONCUR, Volume 85 von LIPIcs, Seite 26:1-26:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)A divide-and-conquer approach for analysing overlaid data structures., , und . Formal Methods Syst. Des., 41 (1): 4-24 (2012)Two for the Price of One: Lifting Separation Logic Assertions, , und . Logical Methods in Computer Science, (2012)Space Invading Systems Code., , , und . LOPSTR, Volume 5438 von Lecture Notes in Computer Science, Seite 1-3. Springer, (2008)Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets., , , , , , , und . Proc. ACM Program. Lang., 8 (POPL): 1819-1849 (Januar 2024)Abstraction for concurrent objects., , , und . Theor. Comput. Sci., 411 (51-52): 4379-4398 (2010)Liveness-Preserving Atomicity Abstraction., und . ICALP (2), Volume 6756 von Lecture Notes in Computer Science, Seite 453-465. Springer, (2011)