RANZATO, FRANCESCO

RANZATO, FRANCESCO  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 20 di 88 (tempo di esecuzione: 0.031 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
Improving Abstract Interpretations by Systematic Lifting to the Powerset 1994 RANZATO, FRANCESCO + - - 1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain
Improving abstract interpretations by systematic lifting to the powerset 1994 FILE', GILBERTORANZATO, FRANCESCO - - Logic Programming, Proceedings of the 1994 International Symposium
Complementation in abstract interpretation 1995 FILE', GILBERTORANZATO, FRANCESCO + - LECTURE NOTES IN COMPUTER SCIENCE Static Analysis, Second International Symposium, SAS'95, Glasgow, UK
Functional dependencies and Moore-set completions of abstract interpretations and semantics 1995 RANZATO, FRANCESCO + - - Logic Programming, Proceedings of the 1995 International Symposium
Optimization of Disjunctive Abstract Interpretations 1996 RANZATO, FRANCESCO + - - 1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain
Compositional optimization of disjunctive abstract interpretations 1996 RANZATO, FRANCESCO + - LECTURE NOTES IN COMPUTER SCIENCE Programming Languages and Systems - ESOP'96, 6th European Symposium on Programming, Linköping, Sweden
Complementing logic program semantics 1996 RANZATO, FRANCESCO + LECTURE NOTES IN COMPUTER SCIENCE - Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany
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
A unifying view of abstract domain design 1996 FILE', GILBERTORANZATO, FRANCESCO + ACM COMPUTING SURVEYS - -
Weak relative pseudo-complements of closure operators 1996 RANZATO, FRANCESCO + ALGEBRA UNIVERSALIS - -
Completeness in abstract interpretation: a domain perspective 1997 RANZATO, FRANCESCO + LECTURE NOTES IN COMPUTER SCIENCE - Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia
Complementation in abstract interpretation 1997 RANZATO, FRANCESCO + ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS - -
On the least complete extension of complete subsemilattices 1997 RANZATO, FRANCESCO + ALGEBRA UNIVERSALIS - -
Refining and compressing abstract domains 1997 RANZATO, FRANCESCO + LECTURE NOTES IN COMPUTER SCIENCE - Automata, Languages and Programming, 24th International Colloquium, ICALP'97
Building Complete Abstract Interpretations in a Linear Logic-based Setting 1998 RANZATO, FRANCESCO + - - 1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98, A Coruña, Spain
Uniform closures: order-theoretically reconstructing logic program semantics and abstract domain refinements 1998 RANZATO, FRANCESCO + INFORMATION AND COMPUTATION - -
Optimal domains for disjunctive abstract interpretation 1998 RANZATO, FRANCESCO + SCIENCE OF COMPUTER PROGRAMMING - -
Building complete abstract interpretations in a linear logic-based setting 1998 RANZATO, FRANCESCO + LECTURE NOTES IN COMPUTER SCIENCE - Static Analysis, 5th International Symposium, SAS '98
Some properties of complete congruence lattices 1998 RANZATO, FRANCESCO + ALGEBRA UNIVERSALIS - -
Complete abstract interpretations made constructive 1998 RANZATO, FRANCESCO + LECTURE NOTES IN COMPUTER SCIENCE - Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic