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,
[Online-Edition: https://tuprints.ulb.tu-darmstadt.de/11419],
[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), In: 31st European Conference on Object-Oriented Programming (ECOOP 2017), S. 18:1-18:26, DOI: 10.4230/LIPIcs.ECOOP.2017.18,
[Online-Edition: http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=7262],
[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, New York, NY, USA, ACM, S. 880-897, [Online-Edition: http://doi.acm.org/10.1145/2814270.2814277],
[Book section]

This list was generated on Fri Aug 7 05:16:20 2020 CEST.