Travelled to:1 × Germany
1 × USA
2 × France
Collaborated with:S.Blazy R.Laleau V.Donzeau-Gouge C.Dubois F.Jean
Talks about:program (5) understand (2) special (2) partial (2) fortran (2) develop (2) formal (2) evalu (2) interprocedur (1) comprehens (1)
Person: Philippe Facon
DBLP: Facon:Philippe
Contributed to:
1997
1996
1993
1993
1987
1995Wrote 7 papers:
- ASE-1997-BlazyF #development #formal method #maintenance
- Application of Formal Methods to the Development of a Software Maintenance Tool (SB, PF), pp. 162–171.
- WPC-1996-BlazyF #analysis #comprehension #interprocedural
- Interprocedural analysis for program comprehension by specialization (SB, PF), p. 133–?.
- CAiSE-1993-BlazyF #comprehension #fortran #partial evaluation #source code #symbolic computation
- Partial Evaluation and Symbolic Computation for the Understanding of Fortran Programs (SB, PF), pp. 184–198.
- SEKE-1993-BlazyF #comprehension #fortran #partial evaluation #source code
- Partial Evaluation for the Understanding of FORTRAN Programs (SB, PF), pp. 517–525.
- SEKE-1993-LaleauF #concept #modelling #semantics
- Modeling Semantic Data Concepts with VDM (RL, PF), pp. 228–230.
- ESEC-1987-Donzeau-GougeDFJ #development #programming
- Development of a Programming Environment for Setl (VDG, CD, PF, FJ), pp. 21–32.
- TAPSOFT-1995-BlazyF #prototype #specification
- Formal Specification and Prototyping of a Program Specializer (SB, PF), pp. 666–680.