Philippe Facon

Publication Activity (10 Years)

Years Active: 1987-1998
Publications (10 Years): 0

Publications

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