| 1998 |
|---|
| 9 | EE | Sandrine Blazy,
Philippe Facon:
Partial Evaluation for Program Comprehension.
ACM Comput. Surv. 30(3es): 17 (1998) |
| 1997 |
|---|
| 8 | EE | Sandrine Blazy,
Philippe Facon:
Application of Formal Methods to the Development of a Software Maintenance Tool.
ASE 1997: 162-171 |
| 1996 |
|---|
| 7 | | Sandrine Blazy,
Philippe Facon:
An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs.
Dagstuhl Seminar on Partial Evaluation 1996: 1-16 |
| 6 | EE | Sandrine Blazy,
Philippe Facon:
Interprocedural analysis for program comprehension by specialization.
WPC 1996: 133- |
| 1995 |
|---|
| 5 | | Sandrine Blazy,
Philippe Facon:
Formal Specification and Prototyping of a Program Specializer.
TAPSOFT 1995: 666-680 |
| 1993 |
|---|
| 4 | | Sandrine Blazy,
Philippe Facon:
Partial Evaluation and Symbolic Computation for the Understanding of Fortran Programs
CAiSE 1993: 184-198 |
| 3 | | Regine Laleau,
Philippe Facon:
Modeling Semantic Data Concepts with VDM.
SEKE 1993: 228-230 |
| 2 | | Sandrine Blazy,
Philippe Facon:
Partial Evaluation for the Understanding of FORTRAN Programs.
SEKE 1993: 517-525 |
| 1987 |
|---|
| 1 | | Véronique Donzeau-Gouge,
Catherine Dubois,
Philippe Facon,
F. Jean:
Development of a Programming Environment for Setl.
ESEC 1987: 21-32 |
