TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 7.

Bračevac, Oliver ; Amin, Nada ; Salvaneschi, Guido ; Erdweg, Sebastian ; Eugster, Patrick ; Mezini, Mira :
Versatile Event Correlation with Algebraic Effects.
In: Proceedings of the ACM on Programming Languages. PACMPL, Volume 2 (Issue ICFP). ACM, to appear
[Buchkapitel], (2018)

Kuci, Edlira ; Erdweg, Sebastian ; Bračevac, Oliver ; Bejleri, Andi ; Mezini, Mira :
A Co-contextual Type Checker for Featherweight Java.
[Online-Edition: http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=7262]
In: 31st European Conference on Object-Oriented Programming (ECOOP 2017). Leibniz International Proceedings in Informatics (LIPIcs), 74. , 18:1-18:26.
[Buchkapitel], (2017)

Bračevac, Oliver ; Erdweg, Sebastian ; Salvaneschi, Guido ; Mezini, Mira :
CPL: A Core Language for Cloud Computing.
[Online-Edition: http://doi.acm.org/10.1145/2889443.2889452]
In: Proceedings of the 15th International Conference on Modularity. MODULARITY 2016. ACM, New York, NY, USA , pp. 94-105. ISBN 978-1-4503-3995-7
[Buchkapitel], (2016)

Bračevac, Oliver ; Erdweg, Sebastian ; Salvaneschi, Guido ; Mezini, Mira :
CPL: A Core Language for Cloud Computing -- Technical Report.
In: CoRR, abs/1602.00981
[Artikel], (2016)

Bračevac, Oliver :
Temporal Correlation Patterns -- Intersecting Joins, Streams, Events and Reactive Programming.
[Online-Edition: http://2015.splashcon.org/track/rebls2015]
In: Workshop on Reactive and Event-based Languages & Systems co-located with SPLASH '15, 27 Oct 2015.
[Konferenz- oder Workshop-Beitrag], (2015)

Erdweg, Sebastian ; Bračevac, Oliver ; Kuci, Edlira ; Krebs, Matthias ; Mezini, Mira :
A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking.
[Online-Edition: http://doi.acm.org/10.1145/2814270.2814277]
In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. OOPSLA 2015. ACM, New York, NY, USA Pittsburgh, PA, USA , pp. 880-897. ISBN 978-1-4503-3689-5
[Buchkapitel], (2015)

Bračevac, Oliver :
A Formal Model for Event Correlation in Information Flow Processing.
TU Darmstadt
[Masterarbeit], (2013)

Diese Liste wurde am Sat Jul 14 03:37:35 2018 CEST generiert.