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. |
| Nome 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-Contributo in Atti di Convegno in volume |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| ISoLA-2016_Damiani-Lienhardt.pdf | Articolo principale (conferenza) | 2 PDF Editoriale | Utenti riconosciuti Richiedi una copia | |
| ISoLA-2016_Damiani-Lienhardt-OPEN.pdf | Articolo principale (conferenza) | 1 Ver. finale autore | Open Access Visualizza/Apri |
http://hdl.handle.net/2318/1614401
Copyright © 2018