The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sandrine Blazy: [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. Sandrine Blazy, Zaynah Dargaye, Xavier Leroy
    Formal Verification of a C Compiler Front-End. [Citation Graph (0, 0)][DBLP]
    FM, 2006, pp:460-475 [Conf]
  4. Sandrine Blazy, Xavier Leroy
    Formal Verification of a Memory Model for C-Like Imperative Languages. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:280-299 [Conf]
  5. Sandrine Blazy, Philippe Facon
    Interprocedural analysis for program comprehension by specialization. [Citation Graph (0, 0)][DBLP]
    WPC, 1996, pp:133-0 [Conf]
  6. 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]
  7. Sandrine Blazy, Philippe Facon
    Partial Evaluation for the Understanding of FORTRAN Programs. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:517-525 [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, Frédéric Gervais, Régine Laleau
    Reuse of Specification Patterns with the B Method. [Citation Graph (0, 0)][DBLP]
    ZB, 2003, pp:40-57 [Conf]
  10. Sandrine Blazy
    Specifying and Automatically Generating a Specialization Tool for Fortran 90. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2000, v:7, n:4, pp:345-376 [Journal]
  11. 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]
  12. Andrew W. Appel, Sandrine Blazy
    Separation Logic for Small-Step cminor. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2007, pp:5-21 [Conf]
  13. Sandrine Blazy
    Partial Evaluation for Program Comprehension [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  14. Sandrine Blazy, Frédéric Gervais, Régine Laleau
    Reuse of Specification Patterns with the B Method [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  15. Andrew W. Appel, Sandrine Blazy
    Separation Logic for Small-step Cminor [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  16. Formal Verification of Coalescing Graph-Coloring Register Allocation. [Citation Graph (, )][DBLP]


  17. Live-range unsplitting for faster optimal coalescing. [Citation Graph (, )][DBLP]


  18. Mechanized semantics for the Clight subset of the C language [Citation Graph (, )][DBLP]


Search in 0.025secs, Finished in 0.026secs
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