| 2007 |
|---|
| 15 | EE | Andrew W. Appel,
Sandrine Blazy:
Separation Logic for Small-Step cminor.
TPHOLs 2007: 5-21 |
| 14 | EE | Andrew W. Appel,
Sandrine Blazy:
Separation Logic for Small-step Cminor
CoRR abs/0707.4389: (2007) |
| 2006 |
|---|
| 13 | EE | Sandrine Blazy,
Zaynah Dargaye,
Xavier Leroy:
Formal Verification of a C Compiler Front-End.
FM 2006: 460-475 |
| 12 | EE | Sandrine Blazy:
Partial Evaluation for Program Comprehension
CoRR abs/cs/0610096: (2006) |
| 11 | EE | Sandrine Blazy,
Frédéric Gervais,
Régine Laleau:
Reuse of Specification Patterns with the B Method
CoRR abs/cs/0610097: (2006) |
| 2005 |
|---|
| 10 | EE | Sandrine Blazy,
Xavier Leroy:
Formal Verification of a Memory Model for C-Like Imperative Languages.
ICFEM 2005: 280-299 |
| 2003 |
|---|
| 9 | EE | Sandrine Blazy,
Frédéric Gervais,
Régine Laleau:
Reuse of Specification Patterns with the B Method.
ZB 2003: 40-57 |
| 2000 |
|---|
| 8 | | Sandrine Blazy:
Specifying and Automatically Generating a Specialization Tool for Fortran 90.
Autom. Softw. Eng. 7(4): 345-376 (2000) |
| 1998 |
|---|
| 7 | EE | Sandrine Blazy,
Philippe Facon:
Partial Evaluation for Program Comprehension.
ACM Comput. Surv. 30(3es): 17 (1998) |
| 1997 |
|---|
| 6 | EE | Sandrine Blazy,
Philippe Facon:
Application of Formal Methods to the Development of a Software Maintenance Tool.
ASE 1997: 162-171 |
| 1996 |
|---|
| 5 | | Sandrine Blazy,
Philippe Facon:
An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs.
Dagstuhl Seminar on Partial Evaluation 1996: 1-16 |
| 4 | EE | Sandrine Blazy,
Philippe Facon:
Interprocedural analysis for program comprehension by specialization.
WPC 1996: 133- |
| 1995 |
|---|
| 3 | | Sandrine Blazy,
Philippe Facon:
Formal Specification and Prototyping of a Program Specializer.
TAPSOFT 1995: 666-680 |
| 1993 |
|---|
| 2 | | Sandrine Blazy,
Philippe Facon:
Partial Evaluation and Symbolic Computation for the Understanding of Fortran Programs
CAiSE 1993: 184-198 |
| 1 | | Sandrine Blazy,
Philippe Facon:
Partial Evaluation for the Understanding of FORTRAN Programs.
SEKE 1993: 517-525 |
