|
СТ |
An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs |
1996 |
Blazy S., Facon P. |
Lecture Notes in Computer Science |
|
|
Partial Evaluation |
09.10.1996 |
|
СТ |
Formal Specification and Prototyping of a Program Specializer |
1995 |
Blazy S., Facon P. |
|
|
|
Lecture Notes in Computer Science |
20.06.1995 |
|
СТ |
Partial Evaluation and Symbolic Computation for the Understanding of Fortran Programs |
1993 |
Blazy S., Facon P. |
|
|
|
Lecture Notes in Computer Science |
01.07.1993 |
|
СТ |
Inference de types et d implantations pour des expressions ensemblistes |
1991 |
Donzeau-Gouge V., Dubois C., Facon P. |
|
|
|
BIGRE |
29.03.1991 |
