Autor: Bracevac, Oliver / Organisationseinheit: FB 08 Physik, Mathematik und Informatik and Praktische Informatik / Datenquelle: DBLP - Universitätsbibliographie Suchergebnisse

Neu anfangen Autor Bracevac, Oliver Organisationseinheit FB 08 Physik, Mathematik und Informatik Organisationseinheit Praktische Informatik Datenquelle DBLP

1. CPL: A Core Language for Cloud Computing - Technical Report.

Autoren:: Bracevac, Oliver; Erdweg, Sebastian; Salvaneschi, Guido; Mezini, Mira
Veröffentlichungsdatum:: 2016
Typ:: Zeitschriftenaufsatz

2. A co-contextual formulation of type rules and its application to incremental type checking.

Autoren:: Erdweg, Sebastian; Bracevac, Oliver; Kuci, Edlira; Krebs, Matthias; Mezini, Mira
Editoren:: Aldrich, Jonathan; Eugster, Patrick
Veröffentlichungsdatum:: 2015
Typ:: Konferenzbeitrag

3. Type-safe, Polyvariadic Event Correlation.

Autoren:: Bracevac, Oliver; Salvaneschi, Guido; Erdweg, Sebastian; Mezini, Mira
Veröffentlichungsdatum:: 2019
Typ:: Zeitschriftenaufsatz

4. CPL: a core language for cloud computing.

Autoren:: Bracevac, Oliver; Erdweg, Sebastian; Salvaneschi, Guido; Mezini, Mira
Editoren:: Fuentes, Lidia; Batory, Don S; Czarnecki, Krzysztof
Veröffentlichungsdatum:: 2016
Typ:: Konferenzbeitrag

5. A Co-contextual Type Checker for Featherweight Java .

Autoren:: Kuci, Edlira; Erdweg, Sebastian; Bracevac, Oliver; Bejleri, Andi; Mezini, Mira
Editoren:: Müller, Peter
Veröffentlichungsdatum:: 2017
Typ:: Konferenzbeitrag

6. A Co-contextual Type Checker for Featherweight Java (incl. Proofs).

Autoren:: Kuci, Edlira; Erdweg, Sebastian; Bracevac, Oliver; Bejleri, Andi; Mezini, Mira
Veröffentlichungsdatum:: 2017
Typ:: Zeitschriftenaufsatz