Dr. rer. nat. Edlira Kuci

Software Technology Group


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.


Jump to: 2020 | 2017 | 2015
Number of items: 3.


Kuci, Edlira (2020):
Co-Contextual Type Systems: Contextless Deductive Reasoning for Correct Incremental Type Checking.
Darmstadt, Technische Universität,
DOI: 10.25534/tuprints-00011419,
[Ph.D. Thesis]


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


Erdweg, Sebastian ; Bračevac, Oliver ; Kuci, Edlira ; Krebs, Matthias ; Mezini, Mira (2015):
A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking.
In: OOPSLA 2015, In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 880-897, New York, NY, USA, ACM, ISBN 978-1-4503-3689-5,
[Book Section]

This list was generated on Mon Jul 26 04:06:22 2021 CEST.