PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Manconi C. Progetto ed implementazione di un algoritmo per la ricerca di un caso di esecuzioni erronee in Ada 95. Internal note IEI-B4-19, 1996.
 
 
Abstract
(English)
No abstract available.
Abstract
(Italiano)
Questo documento contiene la definizione e l'implementazione di un algoritmo per la ricerca di un particolare caso di esecuzioni erronee in ADA95. In particolare, il caso considerato, con riferimento a [Marzullo 96], e relativo ai side-effects su sottocomponenti discriminate di variabili di tipo record con discriminante. Come mostrato, ancora, in [Marzullo 96], questo caso si riconduce alIa ricerca di tutti gli assegnamenti a sottocomponenti discriminate, di variabili record con discriminante, in cui l' espressione alIa destra dell' assegnamento contiene una chiamata ad un subprogram che agiscano sulla varabile stessa mediante side-effects. L' algoritmo definito si suddivide in tre fasi: una prima fase in cui si individuano tutte le definizioni di subprogram presenti nel programma e, per ogni definizione di subprogram si individuano tutti i subprogram invocati direttamente, cioe mediante chiamata esplicita nel codice sorgente, e tutte le variabili su cui 10 stesso agisce mediante side-effect; nella seconda fase, si ricercano e si marcano le sottocomponenti discriminate di variabili record con discriminante; nella terza fase, viene scandito I'AST alla ricerca degli assegnamenti a sottocomponenti discriminate e, per ognuno di essi, si verifica se nella espressione assegnata ci sono chiamate a subprogram che modificano la stessa mediante side - effe c ts. L' algoritmo e stato implementato usando ADA95, sfruttando I' AST generato dal front-end del compilatore GNAT per ADA95. Ana fine della scansione dell' AST da parte.
Subject Ada 95


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional