FILE', GILBERTO

FILE', GILBERTO  

Mostra records
Risultati 1 - 20 di 30 (tempo di esecuzione: 0.021 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
Formal Properties of One-Visit and Multi-Pass Attribute Grammars 1980 FILE', GILBERTO + - - Proc. 7th ICALP
Passes, Sweeps and Visits 1981 FILE', GILBERTO + - - Proc. of the 8th ICALP
The Formal Power of One-Visit Attribute Grammars 1981 FILE', GILBERTO + ACTA INFORMATICA - -
Passes and Paths of Attributive Grammars 1981 FILE', GILBERTO + INFORMATION AND CONTROL - -
Simple Multi-Visit Attribute Grammars 1982 FILE', GILBERTO + JOURNAL OF COMPUTER AND SYSTEM SCIENCES - -
Interpretation and Reduction of Attribute Grammars 1983 FILE', GILBERTO ACTA INFORMATICA - -
Machines for Attribute Grammars 1986 FILE', GILBERTO INFORMATION AND CONTROL - -
Classical and Incremental Attribute Evaluation by Means of Recursive Procedures 1987 FILE', GILBERTO THEORETICAL COMPUTER SCIENCE - -
The Relation of Two Patterns with Comparable Languages 1988 FILE', GILBERTO - - 5th Annual Symposium on Theoretical Aspects of Computer Science
Passes, sweeps, and visits in attribute grammars 1989 FILE', GILBERTO + JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY - -
Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis 1991 FILE', GILBERTO + - - Proc. of 6th LICS
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
Comparison of Abstract Interpretations 1992 FILE', GILBERTO + - - ICALP 92
Computations, abstractions and constraints in logic programs 1992 FILE', GILBERTO + - - ICCL 92
Graph Properties for Normal Logic Programs 1993 FILE', GILBERTO + THEORETICAL COMPUTER SCIENCE - -
Freeness Analysis for Logic Programs - And Correctness? 1993 FILE', GILBERTO + - - ICLP
Improving abstract interpretations by systematic lifting to the powerset 1994 FILE', GILBERTORANZATO, FRANCESCO - - Logic Programming, Proceedings of the 1994 International Symposium
Semantic Properties of CHIP (FD) 1995 FILE', GILBERTO + - - Constraint processing, selected papers
Complementation in abstract interpretation 1995 FILE', GILBERTORANZATO, FRANCESCO + - LECTURE NOTES IN COMPUTER SCIENCE Static Analysis, Second International Symposium, SAS'95, Glasgow, UK