Вы здесь

Главная

Giacobazzi R.

Автор:

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

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Static Analysis: Proc./11th International Symposium, SAS 2004. Vernona, Italy, August 2004 2004 Lecture Notes in Computer Science
  1. Giacobazzi R.
 22.10.2004
СБ Verification, Modal Checking, and Abstract Interpretation: Proc./14th International Conference, VMCAI 2013, Rome, Italy, January, 2013 2013 Lecture Notes in Computer Science
  1. Giacobazzi R.
  2. Berdine J.
  3. Mastroeni I.
 11.06.2013