Autor: Kuci, Edlira and Mezini, Mira / Organisationseinheit: Institut für Informatik / Datenquelle: DBLP - Universitätsbibliographie Suchergebnisse

Neu anfangen Autor Kuci, Edlira Autor Mezini, Mira Organisationseinheit Institut für Informatik Datenquelle DBLP

1. 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

2. Toward incremental type checking for Java.

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

3. 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

4. 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

5. Incremental overload resolution in object-oriented programming languages.

Autoren:: Szabó, Tamás; Kuci, Edlira; Bijman, Matthijs; Mezini, Mira; Erdweg, Sebastian
Editoren:: Dolby, Julian; Halfond, William GJ; Mishra, Ashish
Veröffentlichungsdatum:: 2018
Typ:: Konferenzbeitrag