 | 2009 |
|---|
| 20 |       | Sandrine Blazy,
Benoit Robillard:
Live-range unsplitting for faster optimal coalescing.
LCTES 2009: 70-79 |
| 19 | | Sandrine Blazy,
Xavier Leroy:
Mechanized semantics for the Clight subset of the C language
CoRR abs/0901.3619: (2009) |
| 2008 |
|---|
| 18 | | Xavier Leroy,
Sandrine Blazy:
Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations.
J. Autom. Reasoning 41(1): 1-31 (2008) |
| 2007 |
|---|
| 17 | | Andrew W. Appel,
Sandrine Blazy:
Separation Logic for Small-Step cminor.
TPHOLs 2007: 5-21 |
| 16 | | Andrew W. Appel,
Sandrine Blazy:
Separation Logic for Small-step Cminor
CoRR abs/0707.4389: (2007) |
| 15 | | Sandrine Blazy:
Chronique : Comment gagner la confiance en C?
Technique et Science Informatiques 26(9): 1195-1200 (2007) |
| 2006 |
|---|
| 14 | | Sandrine Blazy,
Zaynah Dargaye,
Xavier Leroy:
Formal Verification of a C Compiler Front-End.
FM 2006: 460-475 |
| 13 | | Sandrine Blazy:
Partial Evaluation for Program Comprehension
CoRR abs/cs/0610096: (2006) |
| 12 | | Sandrine Blazy,
Frédéric Gervais,
Régine Laleau:
Reuse of Specification Patterns with the B Method
CoRR abs/cs/0610097: (2006) |
| 2005 |
|---|
| 11 | | Sandrine Blazy,
Xavier Leroy:
Formal Verification of a Memory Model for C-Like Imperative Languages.
ICFEM 2005: 280-299 |
| 2003 |
|---|
| 10 | | Sandrine Blazy,
Frédéric Gervais,
Régine Laleau:
Reuse of Specification Patterns with the B Method.
ZB 2003: 40-57 |
| 2000 |
|---|
| 9 |  | Sandrine Blazy:
Specifying and Automatically Generating a Specialization Tool for Fortran 90.
Autom. Softw. Eng. 7(4): 345-376 (2000) |
| 1998 |
|---|
| 8 | | Sandrine Blazy,
Philippe Facon:
Partial Evaluation for Program Comprehension.
ACM Comput. Surv. 30(3es): 17 (1998) |
| 1997 |
|---|
| 7 | | Sandrine Blazy,
Philippe Facon:
Application of Formal Methods to the Development of a Software Maintenance Tool.
ASE 1997: 162-171 |
| 1996 |
|---|
| 6 | | Sandrine Blazy,
Philippe Facon:
An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs.
Dagstuhl Seminar on Partial Evaluation 1996: 1-16 |
| 5 | | Sandrine Blazy,
Philippe Facon:
Interprocedural analysis for program comprehension by specialization.
WPC 1996: 133- |
| 1995 |
|---|
| 4 | | Sandrine Blazy,
Philippe Facon:
Formal Specification and Prototyping of a Program Specializer.
TAPSOFT 1995: 666-680 |
| 1994 |
|---|
| 3 | | Sandrine Blazy,
Philippe Facon:
Partial Evaluation for the Understanding of Fortran Programs.
International Journal of Software Engineering and Knowledge Engineering 4(4): 535-559 (1994) |
| 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 |
