Philippe Facon

According to our database, Philippe Facon authored at least 12 papers between 1987 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1998

Partial Evaluation for Program Comprehension.

Sandrine Blazy, Philippe Facon

ACM Comput. Surv., 1998

1997

Application of Formal Methods to the Development of a Software Maintenance Tool.

Sandrine Blazy, Philippe Facon

Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

1996

Interprocedural analysis for program comprehension by specialization.

Sandrine Blazy, Philippe Facon

Proceedings of the 4th International Workshop on Program Comprehension (WPC '96), 1996

An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs.

Sandrine Blazy, Philippe Facon

Proceedings of the Partial Evaluation, International Seminar, 1996

1995

Formal Specification and Prototyping of a Program Specializer.

Sandrine Blazy, Philippe Facon

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Des spécifications informelles aux spécifications formelles: compilation ou interprétation ?.

Philippe Facon, Regine Laleau

Proceedings of the Actes du XIIIème Congrès INFORSID, Grenoble, France, May 30, 1995

1994

Partial Evaluation for the Understanding of Fortran Programs.

Sandrine Blazy, Philippe Facon

Int. J. Softw. Eng. Knowl. Eng., 1994

SFAC, a tool for program comprehension by specialization.

Sandrine Blazy, Philippe Facon

Proceedings of the Proceedings 1994 IEEE 3rd Workshop on Program Comprehension, 1994

1993

Modeling Semantic Data Concepts with VDM.

Regine Laleau, Philippe Facon

Proceedings of the SEKE'93, 1993

Partial evaluation as an aid to the comprehension of Fortran programs.

Sandrine Blazy, Philippe Facon

Proceedings of the IEEE Second Workshop on Program Comprehension, 1993

Partial Evaluation and Symbolic Computation for the Understanding of Fortran Programs

Sandrine Blazy, Philippe Facon

Proceedings of the Advanced Information Systems Engineering, 1993

1987

Development of a Programming Environment for Setl.

Véronique Donzeau-Gouge, Catherine Dubois, Philippe Facon, F. Jean

Proceedings of the ESEC '87, 1987