IRIS – Institutional Research Information System
IRIS è il sistema di gestione della ricerca dell’Università degli Studi di Milano-Bicocca.Il repository BOA è il modulo del sistema dedicato alla raccolta e alla disseminazione della produzione scientifica di Ateneo. Le pubblicazioni sono ricercabili per parola chiave attraverso il box nella barra orizzontale in alto oppure, mediante il pulsante Sfoglia, per "Afferenza", "Autore", "Titolo", "Tipologia" o "Settore scientifico-disciplinare".
IRIS contiene inoltre alcuni moduli dedicati alla registrazione dei progetti e dei contratti, e alla reportistica avanzata per le attività di valutazione della ricerca
EnglishThe authors describe a technique and an environment-supporting specialization of generalized software components. The technique is based on symbolic execution. It allows one to transform a generalized software component into a more specific and more efficient component. Specialization is proposed as a technique that improves software reuse. The idea is that a library of generalized components exists and the environment supports a designer in customizing a generalized component when the need arises for reusing it under more restricted conditions. It is also justified as a reengineering technique that helps optimize a program during maintenance. Specialization is supported by an interactive environment that provides several transformation tools: a symbolic executor/simplifier, an optimizer, and a loop refolder. The conceptual basis for these transformation techniques is described, examples of their application are given, and how they cooperate in a prototype environment for the Ada programming language is outlined
Coen-Porisini, A., De Paoli, F., Ghezzi, C., & Mandrioli, D. (1991). Software specialization via symbolic execution. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 17(9), 884-899.
| Citazione: | Coen-Porisini, A., De Paoli, F., Ghezzi, C., & Mandrioli, D. (1991). Software specialization via symbolic execution. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 17(9), 884-899. |
| Tipo: | Articolo in rivista - Articolo scientifico |
| Carattere della pubblicazione: | Scientifica |
| Presenza di un coautore afferente ad Istituzioni straniere: | Si |
| Titolo: | Software specialization via symbolic execution |
| Autori: | Coen-Porisini, A; De Paoli, F; Ghezzi, C; Mandrioli, D |
| Autori: | DE PAOLI, FLAVIO MARIA (Secondo) |
| Data di pubblicazione: | 1991 |
| Lingua: | English |
| Rivista: | IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
| Digital Object Identifier (DOI): | http://dx.doi.org/10.1109/32.92907 |
| Appare nelle tipologie: | 01 - Articolo su rivista |
File in questo prodotto:
Copyright © 2020