FILE', GILBERTO
FILE', GILBERTO
Mostra
records
Risultati 1 - 14 di 14 (tempo di esecuzione: 0.025 secondi).
A unifying view of abstract domain design
1996 File', Gilberto; R., Giacobazzi; Ranzato, Francesco
Classical and Incremental Attribute Evaluation by Means of Recursive Procedures
1987 File', Gilberto
Graph Properties for Normal Logic Programs
1993 A., Cortesi; File', Gilberto
Interpretation and Reduction of Attribute Grammars
1983 File', Gilberto
Machines for Attribute Grammars
1986 File', Gilberto
On the Design of a Correct Freeness Analysis for Logic Programs
1996 M., Codish; D., Dams; File', Gilberto; M., Bruijnooghe
Optimal Groundness Analysis Using Propositional Logic
1996 A., Cortesi; File', Gilberto; W., Winsborough
Passes and Paths of Attributive Grammars
1981 J., Engelfriet; File', Gilberto
Passes, sweeps, and visits in attribute grammars
1989 J., Engelfriet; File', Gilberto
Sharing is Optimal
1999 A., Cortesi; File', Gilberto
Simple Multi-Visit Attribute Grammars
1982 J., Engelfriet; File', Gilberto
The Formal Power of One-Visit Attribute Grammars
1981 J., Engelfriet; File', Gilberto
The Quotient of an Abstract Interpretation
1998 Cortesi, A.; File', Gilberto; Winsborough, W. H.
Whac-A-Mole: Smart Node Positioning in Clone Attack in Wireless Sensor Networks
2018 Ben Jaballaha, Wafa; Conti, Mauro; Filè, Gilberto; Mosbah, Mohamed; Zemmari, Akka