|
СТ |
A Simple and General Method for Integrating Abstract Interpretation in SICStus |
1999 |
Baldan D., Civran N., File G., Pulvirenti F. |
|
|
|
Lecture Notes in Computer Science |
27.10.1999 |
|
СТ |
Improving Abstract Interpretations by Systematic Lifting to the Powerset |
1994 |
File G., Ranzato F. |
|
|
|
Logic Programming. Proc. of the 1994 Intern. Symp. |
31.01.1996 |
|
СТ |
Complementation in Abstract Interpretation |
1995 |
Cortesi A., File G., Giacobazzi R. |
Lecture Notes in Computer Science |
|
|
Static Analysis |
16.11.1995 |
|
СТ |
Static Analysis of Prolog with Cut |
1993 |
File G., Rossi S. |
|
|
|
Lecture Notes in Artificial Intelligence |
07.08.1993 |
|
СТ |
Computations, Abstractions and Constraints (extended abstract) |
1991 |
Codognet P., File G. |
|
|
|
BIGRE |
11.12.1991 |
|
СТ |
Abstract Interpretation of logic programs: an abstract domain for groundness, sharing, freeness and compoundness analysis |
1991 |
Cortesi A., File G. |
|
|
|
SIGPLAN Notices |
26.10.1991 |
