|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 42 occurrences of 38 keywords
|
|
|
|
|
Results
Found 23 publication records. Showing 23 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sandrine Blazy |
Introduction.  |
Technique et Science Informatiques  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sandrine Blazy, Benoît Robillard, Andrew W. Appel |
Formal Verification of Coalescing Graph-Coloring Register Allocation. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandrine Blazy, Xavier Leroy |
Mechanized semantics for the Clight subset of the C language |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Sandrine Blazy, Xavier Leroy |
Mechanized Semantics for the Clight Subset of the C Language. |
J. Autom. Reasoning |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandrine Blazy, Benoît Robillard |
Live-range unsplitting for faster optimal coalescing. |
LCTES |
2009 |
DBLP DOI BibTeX RDF |
register allocation, graph reduction, coalescing |
| 1 | Xavier Leroy, Sandrine Blazy |
Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations. |
J. Autom. Reasoning |
2008 |
DBLP DOI BibTeX RDF |
The Coq proof assistant, Compilation, C, Program verification, Memory model, Compiler correctness |
| 1 | Andrew W. Appel, Sandrine Blazy |
Separation Logic for Small-step Cminor |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Sandrine Blazy |
Chronique : Comment gagner la confiance en C? |
Technique et Science Informatiques |
2007 |
DBLP BibTeX RDF |
|
| 1 | Andrew W. Appel, Sandrine Blazy |
Separation Logic for Small-Step cminor. |
TPHOLs |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandrine Blazy, Frédéric Gervais, Régine Laleau |
Reuse of Specification Patterns with the B Method |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Sandrine Blazy |
Partial Evaluation for Program Comprehension |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Sandrine Blazy, Zaynah Dargaye, Xavier Leroy |
Formal Verification of a C Compiler Front-End. |
FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandrine Blazy, Xavier Leroy |
Formal Verification of a Memory Model for C-Like Imperative Languages. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandrine Blazy, Frédéric Gervais, Régine Laleau |
Reuse of Specification Patterns with the B Method. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
Design pattern, reuse, B, specification pattern |
| 1 | Sandrine Blazy |
Specifying and Automatically Generating a Specialization Tool for Fortran 90. |
Autom. Softw. Eng. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandrine Blazy, Philippe Facon |
Partial Evaluation for Program Comprehension. |
ACM Comput. Surv. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandrine Blazy, Philippe Facon |
Application of Formal Methods to the Development of a Software Maintenance Tool. (PDF / PS) |
ASE |
1997 |
DBLP DOI BibTeX RDF |
software maintenance tool, scientific application program understanding, Fortran 90 application programs, interprocedural pointer analysis, global definitions, generic programming environment, variable values, already-analysed procedures, variable scope, removed statements, formal specification, information visualization, formal methods, compilation, software maintenance, partial evaluation, inference rules, graphical interface, alias analysis, optimization technique, set operators, relational operators |
| 1 | Sandrine Blazy, Philippe Facon |
An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs. |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandrine Blazy, Philippe Facon |
Interprocedural analysis for program comprehension by specialization. (PDF / PS) |
WPC |
1996 |
DBLP DOI BibTeX RDF |
partial evaluation (compilers), visibility rules, reverse engineering, software maintenance, software maintenance, software tools, software tool, FORTRAN, Fortran, program comprehension, program compilers, partial evaluation, specialization, program diagnostics, interprocedural analysis, application programs |
| 1 | Sandrine Blazy, Philippe Facon |
Formal Specification and Prototyping of a Program Specializer. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
software maintenance, rule induction, VDM, program specialization, structured operational semantics, proof of correctness, Centaur |
| 1 | Sandrine Blazy, Philippe Facon |
Partial Evaluation for the Understanding of Fortran Programs. |
International Journal of Software Engineering and Knowledge Engineering |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandrine Blazy, Philippe Facon |
Partial Evaluation and Symbolic Computation for the Understanding of Fortran Programs |
CAiSE |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandrine Blazy, Philippe Facon |
Partial Evaluation for the Understanding of FORTRAN Programs. |
SEKE |
1993 |
DBLP BibTeX RDF |
|
Displaying result #1 - #23 of 23 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")