Publication type: Conference / Author: Erdweg, Sebastian and Kuci, Edlira / Organizational unit: FB 08 Physik, Mathematik und Informatik - Universitätsbibliographie Search Results

Start Over Publication type Conference Author Erdweg, Sebastian Author Kuci, Edlira Organizational unit FB 08 Physik, Mathematik und Informatik

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

2. Toward incremental type checking for Java.

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

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

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