Staff

Dr. rer. nat. Edlira Kuci

Software Technology Group

Contact

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.

Publications

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

2020

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]

2017

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]

2015

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.