Dettaglio del logo (moneta raffigurante Arechi II) dell'Università del Sannio
| Facoltà | Offerta didattica | Vita universitaria | Avvisi | Esami | Guida ECTS | Cerca persone | Cerca nel sito | Mappa del sito |
| Testo normale | Testo grande | Alto contrasto | Solo testo | Stampa la pagina | Privacy policy | Accessibilità |
Sei nella pagina indice --> Eventi e News --> Context Sensitive Flow Analysis to Detect Blocked Statements

Prof. Ettore Merlo
Ecole Polytechnique - Montreal, Canada

mercoledì, 13 giugno 2001, ore 10.30
Sala delle Lauree palazzo San Domenico
Piazza Guerrazzi, 1
82100 Benevento

per informazioni
prof. Giulio Antoniol - S.E.R.G. Software Engineering Research Group
pbx 0824305839 - fax 0824305840
e-mail antoniol [at] unisannio.it

In the context of quality assessment, this talk proposes two new kinds of information, which can be extracted from source code. The first, definitely blocked statements, may never be executed because preceding code prevents the execution of the program. Blocking code may block the other information, called possibly blocked statements.

The talk presents original flow equations to compute definitely blocked statements in source code. The experimental context will be described and results will be shown and discussed. Suggestions for further research will also be presented.


Ultimo aggiornamento: 08.09.2009 - Per informazioni o commenti: webmaster.ingegneria@unisannio.it