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.

Publications

Group by: Date | Item type | No grouping

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,
[PhD 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), S. 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, S. 880-897, New York, NY, USA, ACM, ISBN 978-1-4503-3689-5,
[Book section]

This list was generated on Wed Jan 27 05:26:17 2021 CET.