( en | de | ru )

 

Disambiguierung von "Lhoták, Ondrej"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ιDOT: a DOT calculus with object initialization.

, , und . Proc. ACM Program. Lang., 4 (OOPSLA): 208:1-208:28 (2020)

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.

Ondrej Burkacky

Ondrej Kuncar

Ondrej Vorisek

Ondrej Zofka

Ondrej Rypacek

 

Weitere Publikationen von Autoren mit dem selben Namen

11th Compiler-Driven Performance Workshop., , , , und . CASCON, Seite 239-240. IBM / ACM, (2012)Efficient Set Sharing Using ZBDDs., , und . LCPC, Volume 5335 von Lecture Notes in Computer Science, Seite 47-63. Springer, (2008)Actor-Based Parallel Dataflow Analysis., und . CC, Volume 6601 von Lecture Notes in Computer Science, Seite 179-197. Springer, (2011)Control Flow Emulation on Tiled SIMD Architectures., , und . CC, Volume 4959 von Lecture Notes in Computer Science, Seite 100-115. Springer, (2008)A Simple Soundness Proof for Dependent Object Types., , , und . CoRR, (2017)Dependency-Free Capture Tracking., , und . FTfJP@ECOOP, Seite 39-43. ACM, (2023)Validating temporal properties of interacting objects., und . OOPSLA Companion, Seite 903-904. ACM, (2008)OOMatch: pattern matching as dispatch in Java., und . OOPSLA Companion, Seite 771-772. ACM, (2007)Reference Mutability for DOT., und . ECOOP, Volume 166 von LIPIcs, Seite 18:1-18:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Tail call elimination and data representation for functional languages on the Java virtual machine., , und . CC, Seite 139-150. ACM, (2018)