The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Philippe Facon: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sandrine Blazy, Philippe Facon
    Partial Evaluation and Symbolic Computation for the Understanding of Fortran Programs [Citation Graph (0, 0)][DBLP]
    CAiSE, 1993, pp:184-198 [Conf]
  2. Sandrine Blazy, Philippe Facon
    An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:1-16 [Conf]
  3. Véronique Donzeau-Gouge, Catherine Dubois, Philippe Facon, F. Jean
    Development of a Programming Environment for Setl. [Citation Graph (0, 0)][DBLP]
    ESEC, 1987, pp:21-32 [Conf]
  4. Sandrine Blazy, Philippe Facon
    Interprocedural analysis for program comprehension by specialization. [Citation Graph (0, 0)][DBLP]
    WPC, 1996, pp:133-0 [Conf]
  5. Sandrine Blazy, Philippe Facon
    Application of Formal Methods to the Development of a Software Maintenance Tool. [Citation Graph (0, 0)][DBLP]
    ASE, 1997, pp:162-171 [Conf]
  6. Sandrine Blazy, Philippe Facon
    Partial Evaluation for the Understanding of FORTRAN Programs. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:517-525 [Conf]
  7. Regine Laleau, Philippe Facon
    Modeling Semantic Data Concepts with VDM. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:228-230 [Conf]
  8. Sandrine Blazy, Philippe Facon
    Formal Specification and Prototyping of a Program Specializer. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:666-680 [Conf]
  9. Sandrine Blazy, Philippe Facon
    Partial Evaluation for Program Comprehension. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:17- [Journal]

Search in 0.003secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002