|
СТ |
Experimental Comparison of Call String and Functional Approaches to Interprocedural Analysis |
1999 |
Martin F. |
|
|
|
Lecture Notes in Computer Science |
02.04.1999 |
|
СТ |
Analysis of Loops |
1998 |
Martin F., Alt M., Wilhelm R., Ferdinand C. |
|
|
|
Lecture Notes in Computer Science |
17.04.1998 |
|
СТ |
Parallel Implementation of Functional Languages |
1997 |
Wilhelm R., Alt M., Martin F., Raber M. |
|
|
|
Lecture Notes in Computer Science |
20.02.1997 |
|
СТ |
Generation of efficient interprocedural analyzers with PAG |
1995 |
Alt M., Martin F. |
Lecture Notes in Computer Science |
|
|
Static Analysis |
16.11.1995 |
|
П |
French MPC Activity Report 1993 |
1993 |
Delori H., Paillotin J. F., Torki K., Garnier C., Martin F., Mercier B., Courtois B., Amielh I. |
|
|
|
|
30.08.1994 |
