Philippe Facon

Publications

[FLP00] P. Facon, R. Laleau, H. Phuong Nguyen. "From OMT Diagrams to B Specifications", January 2000,

[BF98] S. Blazy, P. Facon. "Partial evaluation for program comprehension", sigplan Symposium on Partial Evaluation, Vol. 30(3),

[BF97] S. Blazy, P. Facon. "Application of formal methods to the development of a software maintenance tool", IEEE Conf. on Automated Software Engineering, Lake Tahoe, January 1997, pp.162-171,

[BF96] S. Blazy, P. Facon. "Interprocedural analysis for program comprehension by specialization", 4th IEEE Workshop on Program Comprehension, Berlin, January 1996, pp.133-141,
[BF96a] S. Blazy, P. Facon. "An automatic interprocedural analysis for the understanding of scientific application programs", Seminar on partial evaluation, Dagsthul castle, January 1996, pp.1-16, Series LNCS 1110,

[BF95] S. Blazy, P. Facon. "Formal specification and prorotyping of a program specializer", TAPSOFT'95, Aarhus, January 1995, pp.666-680, Series LNCS 915,

[BF94a] S. Blazy, P. Facon. "Partial evaluation for the understanding of Fortran programs", IJSEKE, International Journal of Software Engineering and Knowledge Engineering, vol. 4(4), pp. 535-559, 1994

[BF94] S. Blazy, P. Facon. "SFAC: a tool for program comprehension by specialization", 3rd IEEE Workshop on Program Comprehension, Washington D.C., 14-15 December, December 1994, pp.162-167,

[BF93] S. Blazy, P. Facon. "Partial evaluation as an aid to the comprehension of Fortran programs", 2nd IEEE Workshop on Program Comprehension, Capri, Italy, January 1993, pp.46-54,
[BF93a] S. Blazy, P. Facon. "Partial evaluation for the understanding of Fortran programs", Soft. Eng. and Knowledge Eng. (SEKE), San Francisco, January 1993, pp.517-525,
[BF93b] S. Blazy, P. Facon. "Partial evaluation and symbolic computation for the understanding of Fortran programs", CAISE'93, Paris, France, January 1993, pp.184-198, Series LNCS 685,

[BF92] S. Blazy, P. Facon. "Evaluation partielle pour la comprÃ©hension de programmes Fortran", Software Engineering and its applications, Toulouse, December, December 1992, pp.411-417,