FILE', GILBERTO

FILE', GILBERTO  

Mostra records
Risultati 1 - 14 di 14 (tempo di esecuzione: 0.025 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
A unifying view of abstract domain design 1996 FILE', GILBERTORANZATO, FRANCESCO + ACM COMPUTING SURVEYS - -
Classical and Incremental Attribute Evaluation by Means of Recursive Procedures 1987 FILE', GILBERTO THEORETICAL COMPUTER SCIENCE - -
Graph Properties for Normal Logic Programs 1993 FILE', GILBERTO + THEORETICAL COMPUTER SCIENCE - -
Interpretation and Reduction of Attribute Grammars 1983 FILE', GILBERTO ACTA INFORMATICA - -
Machines for Attribute Grammars 1986 FILE', GILBERTO INFORMATION AND CONTROL - -
On the Design of a Correct Freeness Analysis for Logic Programs 1996 FILE', GILBERTO + JOURNAL OF LOGIC PROGRAMMING - -
Optimal Groundness Analysis Using Propositional Logic 1996 FILE', GILBERTO + JOURNAL OF LOGIC PROGRAMMING - -
Passes and Paths of Attributive Grammars 1981 FILE', GILBERTO + INFORMATION AND CONTROL - -
Passes, sweeps, and visits in attribute grammars 1989 FILE', GILBERTO + JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY - -
Sharing is Optimal 1999 FILE', GILBERTO + JOURNAL OF LOGIC PROGRAMMING - -
Simple Multi-Visit Attribute Grammars 1982 FILE', GILBERTO + JOURNAL OF COMPUTER AND SYSTEM SCIENCES - -
The Formal Power of One-Visit Attribute Grammars 1981 FILE', GILBERTO + ACTA INFORMATICA - -
The Quotient of an Abstract Interpretation 1998 FILE', GILBERTO + THEORETICAL COMPUTER SCIENCE - -
Whac-A-Mole: Smart Node Positioning in Clone Attack in Wireless Sensor Networks 2018 Mauro ContiGilberto Filè + COMPUTER COMMUNICATIONS - -