Author: Bracevac, Oliver / Organizational unit: FB 08 Physik, Mathematik und Informatik and Programming Languages / Data source: DBLP - Universitätsbibliographie Search Results

Start Over Author Bracevac, Oliver Organizational unit FB 08 Physik, Mathematik und Informatik Organizational unit Programming Languages Data source DBLP

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

Autoren:: Bracevac, Oliver; Erdweg, Sebastian; Salvaneschi, Guido; Mezini, Mira
Veröffentlichungsdatum:: 2016
Type:: Journal article

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
Type:: Conference

3. Type-safe, Polyvariadic Event Correlation.

Autoren:: Bracevac, Oliver; Salvaneschi, Guido; Erdweg, Sebastian; Mezini, Mira
Veröffentlichungsdatum:: 2019
Type:: Journal article

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
Type:: Conference

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
Type:: Conference

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
Type:: Journal article