CINECA IRIS Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Torino.
AperTO è l'archivio istituzionale Open Access destinato a raccogliere, rendere visibile e conservare la produzione scientifica dell'Università degli Studi di Torino.
EnglishA Software Product Line (SPL) is a family of similar programs generated from a common code base. Delta-Oriented Programming (DOP) is a flexible and modular approach to construct SPLs. Ensuring type safety in an SPL (i.e., ensuring that all its programs are well-typed) is a computationally expensive task. Recently, five guidelines to address the complexity of type checking delta-oriented SPLs have been proposed. This paper presents algorithms to refactor delta-oriented SPLs in order to follow the five guidelines. Complexity and correctness of the refactoring algorithms are stated.
| Titolo: | Refactoring delta-oriented product lines to enforce guidelines for efficient type-checking | |
| Autori Riconosciuti: | ||
| Autori: | Damiani, Ferruccio; Lienhardt, Michael | |
| Data di pubblicazione: | 2016 | |
| Abstract: | A Software Product Line (SPL) is a family of similar programs generated from a common code base. Delta-Oriented Programming (DOP) is a flexible and modular approach to construct SPLs. Ensuring type safety in an SPL (i.e., ensuring that all its programs are well-typed) is a computationally expensive task. Recently, five guidelines to address the complexity of type checking delta-oriented SPLs have been proposed. This paper presents algorithms to refactor delta-oriented SPLs in order to follow the five guidelines. Complexity and correctness of the refactoring algorithms are stated. | |
| Editore: | Springer International Publishing | |
| Titolo del libro: | Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications | |
| Volume: | 9953 | |
| Pagina iniziale: | 579 | |
| Pagina finale: | 596 | |
| Nome del convegno: | 7th International Symposium, ISoLA 2016 | |
| Luogo del convegno: | Corfu, Greece | |
| Anno del convegno: | October 10-14, 2016 | |
| Digital Object Identifier (DOI): | 10.1007/978-3-319-47169-3_45 | |
| ISBN: | 9783319471686 9783319471686 | |
| URL: | http://link.springer.com/chapter/10.1007/978-3-319-47169-3_45 | |
| Parole Chiave: | Theoretical Computer Science; Computer Science (all) | |
| Appare nelle tipologie: | 04A-Conference paper in volume |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| ISoLA-2016_Damiani-Lienhardt.pdf | Articolo principale (conferenza) | PDF EDITORIALE | Utenti riconosciuti Richiedi una copia | |
| ISoLA-2016_Damiani-Lienhardt-OPEN.pdf | Articolo principale (conferenza) | POSTPRINT (VERSIONE FINALE DELL’AUTORE) | Open Access Visualizza/Apri |
http://hdl.handle.net/2318/1614401
Copyright © 2021