FILE', GILBERTO
FILE', GILBERTO
Mostra
records
Risultati 1 - 14 di 14 (tempo di esecuzione: 0.039 secondi).
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
Sharing is Optimal
1999 A., Cortesi; File', Gilberto
The Quotient of an Abstract Interpretation
1998 Cortesi, A.; File', Gilberto; Winsborough, W. H.
A unifying view of abstract domain design
1996 File', Gilberto; R., Giacobazzi; Ranzato, Francesco
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
Graph Properties for Normal Logic Programs
1993 A., Cortesi; File', Gilberto
Passes, sweeps, and visits in attribute grammars
1989 J., Engelfriet; File', Gilberto
Classical and Incremental Attribute Evaluation by Means of Recursive Procedures
1987 File', Gilberto
Machines for Attribute Grammars
1986 File', Gilberto
Interpretation and Reduction of Attribute Grammars
1983 File', Gilberto
Simple Multi-Visit Attribute Grammars
1982 J., Engelfriet; File', Gilberto
Passes and Paths of Attributive Grammars
1981 J., Engelfriet; File', Gilberto
The Formal Power of One-Visit Attribute Grammars
1981 J., Engelfriet; File', Gilberto