Philippe Facon

13 papers A* 1A 1C 2Journal 2Unranked 7
YearRankTypeTitle / Venue / Authors
1998 J jnl
Partial Evaluation for Program Comprehension.
ACM Comput. Surv.
Sandrine Blazy, Philippe Facon
1997 A* conf
Application of Formal Methods to the Development of a Software Maintenance Tool.
ASE
Sandrine Blazy, Philippe Facon
1996 — conf
An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs.
Dagstuhl Seminar on Partial Evaluation
Sandrine Blazy, Philippe Facon
1996 — conf
Interprocedural analysis for program comprehension by specialization.
WPC
Sandrine Blazy, Philippe Facon
1995 — conf
Des spécifications informelles aux spécifications formelles: compilation ou interprétation ?.
INFORSID
Philippe Facon, Regine Laleau
1995 — conf
Formal Specification and Prototyping of a Program Specializer.
TAPSOFT
Sandrine Blazy, Philippe Facon
1994 J jnl
Partial Evaluation for the Understanding of Fortran Programs.
Int. J. Softw. Eng. Knowl. Eng.
Sandrine Blazy, Philippe Facon
1994 — conf
SFAC, a tool for program comprehension by specialization.
WPC
Sandrine Blazy, Philippe Facon
1993 C conf
Modeling Semantic Data Concepts with VDM.
SEKE
Regine Laleau, Philippe Facon
1993 A conf
Partial Evaluation and Symbolic Computation for the Understanding of Fortran Programs
CAiSE
Sandrine Blazy, Philippe Facon
1993 C conf
Partial Evaluation for the Understanding of FORTRAN Programs.
SEKE
Sandrine Blazy, Philippe Facon
1993 — conf
Partial evaluation as an aid to the comprehension of Fortran programs.
WPC
Sandrine Blazy, Philippe Facon
1987 — conf
Development of a Programming Environment for Setl.
ESEC
Véronique Donzeau-Gouge, Catherine Dubois, Philippe Facon, F. Jean