|
СТ |
Strong Preservation as Completeness in Abstract Interpretation |
2004 |
Ranzato F., Tapparo F. |
|
|
|
Lecture Notes in Computer Science |
23.04.2004 |
|
СТ |
States vs. Traces in Model Checking by Abstract Interpretation |
2002 |
Giacobazzi R., Ranzato F. |
|
|
|
Lecture Notes in Computer Science |
31.10.2002 |
|
СТ |
On the Completeness of Model Checking |
2001 |
Ranzato F. |
|
|
|
Lecture Notes in Computer Science |
28.04.2001 |
|
СТ |
Completeness in Abstract Interpretation: A Domain Perspective |
1997 |
Giacobazzi R., Ranzato F. |
|
|
|
Lecture Notes in Computer Science |
30.12.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 |
|
СТ |
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 |
|
СТ |
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 |
