BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Facon:Philippe

Contributed to:

ASE 19971997
WPC 19961996
CAiSE 19931993
SEKE 19931993
ESEC 19871987

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.