FILE', GILBERTO

FILE', GILBERTO  

Mostra records
Risultati 1 - 20 di 30 (tempo di esecuzione: 0.036 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
A unifying view of abstract domain design 1996 FILE', GILBERTORANZATO, FRANCESCO + ACM COMPUTING SURVEYS - -
Abstract interpretation for improving WAM code 1997 FILE', GILBERTO + - - Proc. of 4th SAS
Abstract Interpretation for Type Checking 1991 FILE', GILBERTO + - - Proceedings of PLILP
Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis 1991 FILE', GILBERTO + - - PEPM
Classical and Incremental Attribute Evaluation by Means of Recursive Procedures 1987 FILE', GILBERTO THEORETICAL COMPUTER SCIENCE - -
Comparison of Abstract Interpretations 1992 FILE', GILBERTO + - - ICALP 92
Complementation in abstract interpretation 1995 FILE', GILBERTORANZATO, FRANCESCO + - LECTURE NOTES IN COMPUTER SCIENCE Static Analysis, Second International Symposium, SAS'95, Glasgow, UK
Complementation of abstract domains made easy 1996 FILE', GILBERTORANZATO, FRANCESCO - - Logic Programing, Proceedings of the 1996 Joint International Conference and Syposium on Logic Programming, Bonn, Germany
Computations, abstractions and constraints in logic programs 1992 FILE', GILBERTO + - - ICCL 92
Expressive Power of Definite Clauses for Verifying Authenticity 2009 FILE', GILBERTO + - - 22nd IEEE Computer Security Foundations Symposium
Formal Properties of One-Visit and Multi-Pass Attribute Grammars 1980 FILE', GILBERTO + - - Proc. 7th ICALP
Freeness Analysis for Logic Programs - And Correctness? 1993 FILE', GILBERTO + - - ICLP
Graph Properties for Normal Logic Programs 1993 FILE', GILBERTO + THEORETICAL COMPUTER SCIENCE - -
Improving abstract interpretations by systematic lifting to the powerset 1994 FILE', GILBERTORANZATO, FRANCESCO - - Logic Programming, Proceedings of the 1994 International Symposium
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 1981 FILE', GILBERTO + - - Proc. of the 8th ICALP