Вы здесь

Spoto F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Abstract Compilation for Sharing Analysis 2001 Amato G., Spoto F. Lecture Notes in Computer Science 06.04.2001
СТ Abstract Interpretation of Prolog Programs 1999 Spoto F., Levi G. Lecture Notes in Computer Science 05.02.1999
СТ An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs 1998 Levi G., Spoto F. Lecture Notes in Computer Science 13.10.1998
СТ Analysis of Downward Closed Properties of Logic Programs 2000 Hill P. M., Spoto F. Lecture Notes in Computer Science 17.06.2000
СТ Class Analysis of Object-Oriented Programs through Abstract Interpretation 2001 Jensen T., Spoto F. Lecture Notes in Computer Science 05.05.2001
СТ Freeness Analysis Througn Linear Refinement 1999 Hill P., Spoto F. Lecture Notes in Computer Science 19.10.1999
СТ Logic Programs as Compact Denotations 2002 Hill P. M., Spoto F. Lecture Notes in Computer Science 28.01.2003
СТ Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses 2001 Spoto F. Lecture Notes in Computer Science 31.07.2001