Вы здесь

Giacobazzi R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Domain Compression for Complete Abstractions 2003 Giacobazzi R., Mastroeni I. Lecture Notes in Computer Science 31.01.2003
СТ States vs. Traces in Model Checking by Abstract Interpretation 2002 Giacobazzi R., Ranzato F. Lecture Notes in Computer Science 31.10.2002
СТ Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking 2001 Giacobazzi R., Quintarelli E. Lecture Notes in Computer Science 31.07.2001
СТ Completeness in Abstract Interpretation: A Domain Perspective 1997 Giacobazzi R., Ranzato F. Lecture Notes in Computer Science 30.12.1997
СТ Intuitionistic Implication in Abstract Interpretation 1997 Giacobazzi R., Scozzari F. Lecture Notes in Computer Science 05.09.1997
СТ Complementing Logic Program Semantics 1996 Giacobazzi R., Ranzato F. Lecture Notes in Computer Science Algebraic and Logic Programming 05.11.1996
СТ Compositional Optimization of Disjunctive Abstract Interpretations 1996 Giacobazzi R., Ranzato F. Lecture Notes in Computer Science 18.05.1996
СТ Complementation in Abstract Interpretation 1995 Cortesi A., File G., Giacobazzi R. Lecture Notes in Computer Science Static Analysis 16.11.1995
СТ Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics 1995 Giacobazzi R., Ranzato F. Logic Programming: Proc. of the 1995 Intern. Symp. 24.04.1996
СТ Abstracting Synchronization in Concurrent Constraint Programming 1994 Zaffanella E., Giacobazzi R., Levi G. Lecture Notes in Computer Science 12.10.1994
СТ Abductive Analysis of Modular Logic Programs 1994 Giacobazzi R. Logic Programming. Proc. of the 1994 Intern. Symp. 31.01.1996
СТ A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs 1993 Barbuti R., Giacobazzi R., Levi G. ACM Trans. Programming Languages and Systems 16.03.1993
СТ Static Analysis of CLP Programs over Numeric Domains 1992 Bagnara R., Giacobazzi R., Levi G. BIGRE 05.11.1992
СТ Modelling Prolog Control 1991 Barbuti R., Codish M., Giacobazzi R., Levi G. BIGRE 11.12.1991