|
СТ |
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 |
|
СТ |
Class Analysis of Object-Oriented Programs through Abstract Interpretation |
2001 |
Jensen T., Spoto F. |
|
|
|
Lecture Notes in Computer Science |
05.05.2001 |
|
СТ |
Abstract Compilation for Sharing Analysis |
2001 |
Amato G., Spoto F. |
|
|
|
Lecture Notes in Computer Science |
06.04.2001 |
|
СТ |
Analysis of Downward Closed Properties of Logic Programs |
2000 |
Hill P. M., Spoto F. |
|
|
|
Lecture Notes in Computer Science |
17.06.2000 |
|
СТ |
Freeness Analysis Througn Linear Refinement |
1999 |
Hill P., Spoto F. |
|
|
|
Lecture Notes in Computer Science |
19.10.1999 |
|
СТ |
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 |
