`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:

### Wrote 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.