|
П |
Static Analysis of Linear Congruence Equalities Among Variables of a Program |
1973 |
Granger P. |
|
|
|
Proc. of Conf. Record of the Fifth Annual ACM Symp. on Principles of Programming Languages |
06.04.1994 |
|
СТ |
Improving the Results of Static Analyses of Programs by Local Decreasing Iterations |
1992 |
Granger P. |
|
|
|
Lecture Notes in Computer Science |
28.12.1992 |
|
П |
Improving the Result of Static Analyses of Programs by Logical Decreasing Iterations |
1991 |
Granger P. |
|
|
Ecole Polytechnique |
IEEE Transactions on Computers |
26.02.1992 |
|
П |
Analyses Semantiques de Congruence |
1991 |
Granger P. |
|
|
Ecole Polytechnique |
|
26.02.1992 |
|
П |
Static Analysis of Linear Congruence Equalities among Variables of a Program |
1990 |
Granger P. |
|
|
Ecole Polytechnique |
|
05.03.1991 |
