Deconfined Intersection Types in Java

Autor: Dezani-Ciancaglini, Mariangiola, Giannini, Paola, Venneri, Betti

We show how Java intersection types can be freed from their confinement in type casts, in such a way that the proposed Java extension is safe and fully compatible with the current language. To this aim, we exploit two calculi which formalise the simp

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fa4b70b6373fa0c1349ade5bd1754815
http://hdl.handle.net/2158/1217689

SFJ: An implementation of Semantic Featherweight Java

Autor: Artem Usov, Ornela Dardha

Publikováno v: Lecture Notes in Computer Science
22th International Conference on Coordination Languages and Models (COORDINATION)
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.153-168, ⟨10.1007/978-3-030-50029-0_10⟩
Coordination Models and Languages-22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
Lecture Notes in Computer Science ISBN: 9783030500283
COORDINATION
Coordination Models and Languages
Lecture Notes in Computer Science-Coordination Models and Languages

Part 4: Communications: Types and Implementations; International audience; There are two approaches to defining subtyping relations: the syntactic and the semantic approach. In semantic subtyping, one defines a model of the language and an interpreta

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9cfe779f72b4d12d17a63da5af9335e2
https://zenodo.org/record/3956238

Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form

Autor: Ferruccio Damiani, Luca Paolini, Michael Lienhardt

Publikováno v: International Journal on Software Tools for Technology Transfer
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2019, 21 (6), pp.691-707. ⟨10.1007/s10009-019-00534-2⟩

International audience; Delta-Oriented Programming (DOP) is a flexible transfor-mational approach to implement Software Product Lines (SPLs). In delta-oriented SPLs, variants are generated by applying operations contained in delta modules to a base p

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::392a1293be4e66f34eed156d0c28f283
http://hdl.handle.net/2318/1717330

Implementing type-safe software product lines using parametric traits

Autor: Ina Schaefer, Ferruccio Damiani, Lorenzo Bettini

Publikováno v: Science of Computer Programming. 97:282-308

A software product line (SPL) is a set of related software systems with well-defined commonality and variability that are developed by reusing common artifacts. In this paper, we present a novel technique for implementing SPLs by exploiting mechanism

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9c7c0e1dced0d06d5f965906ffdd0b2b
https://doi.org/10.1016/j.scico.2013.07.016

A Co-contextual Type Checker for Featherweight Java

Autor: Kuci, Edlira, Erdweg, S.T., Bračevac, Oliver, Bejleri, Andi, Mezini, Mira, Müller, Peter

Publikováno v: 31st European Conference on Object-Oriented Programming (ECOOP 2017)

This paper addresses compositional and incremental type checking for object-oriented programming languages. Recent work achieved incremental type checking for structurally typed functional languages through co-contextual typing rules, a constraint-ba

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::814f101a7397d24e374d36cf48d3f8be
http://resolver.tudelft.nl/uuid:8d9bbccf-7be4-48bc-9758-17ba107a45f6