Edlira Kuci, M.Sc.

My research interests focus on variability and modularity mechanisms.

Dependent classes are an advanced mechanism to enable variability and modularity on programming languages. Dependent classes are a generalization of virtual classes. In addition they support the features of multi methods and multiple inheritance.

Currently I work on the formal calculi of dependent classes and study possible extensions.


Group by: Date | Item type | No grouping
Jump to: 2017 | 2015
Number of items: 2.


Kuci, Edlira ; Erdweg, Sebastian ; Bračevac, Oliver ; Bejleri, Andi ; Mezini, Mira :
A Co-contextual Type Checker for Featherweight Java.
In: 31st European Conference on Object-Oriented Programming (ECOOP 2017). Leibniz International Proceedings in Informatics (LIPIcs), 74. , 18:1-18:26.
[Book section] , (2017)


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.
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 , S. 880-897. ISBN 978-1-4503-3689-5
[Book section] , (2015)

This list was generated on Fri May 17 05:27:20 2019 CEST.