Recherche - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu

Filtrer vos résultats

90 résultats
Page :
triés par
Image document

Partial evaluation and symbolic computation for the understanding of Fortran programs

 Sandrine Blazy , Philippe Facon
Advanced Information Systems Engineering 5th International Conference, CAiSE '93, 1993, Paris, France. pp.184-198, ⟨10.1007/3-540-56777-1⟩
Communication dans un congrès inria-00165950v1

Actes de la conférence JFLA2008

 Sandrine Blazy
INRIA. 2008
Ouvrage (y compris édition critique et traduction) hal-01125405v1
Image document

Partial Evaluation for Program Comprehension

 Sandrine Blazy , Philippe Facon
ACM Computing Surveys, Symposium on partial evaluation, 1998, (revue électonique)
Communication dans un congrès inria-00106403v1
Image document

Formal specification and prototyping of a program specializer

 Sandrine Blazy , Philippe Facon
TAPSOFT '95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, May 1995, Aarhus, Denmark. pp.666-680, ⟨10.1007/3-540-59293-8_227⟩
Communication dans un congrès inria-00165933v1

Partial evaluation as an aid to the comprehension of Fortran programs

 Sandrine Blazy , Philippe Facon
2nd IEEE Workshop on Program Comprehension, Capri, Italy, Jan 1993, X, France. pp.46-54
Communication dans un congrès hal-01124468v1

Evaluation partielle pour la compréhension de programmes Fortran

 Sandrine Blazy , Philippe Facon
Software Engineering and its applications, Toulouse, December, Dec 1992, X, France. pp.411-417
Communication dans un congrès hal-01124469v1

Which C semantics to embed in the front-end of a formally verified compiler?

 Sandrine Blazy
TTVSI (Tools and Techniques for Verification of System Infrastructure), Mar 2008, Oxford, United Kingdom. pp.31
Communication dans un congrès inria-00292441v1
Image document

Specifying and automatically generating a specialization tool for Fortran 90

 Sandrine Blazy
Automated Software Engineering, 2000, 7 (4), pp.345-376
Article dans une revue inria-00108501v1

Live-Range Unsplitting for Faster Optimal Coalescing (extended version)

 Sandrine Blazy , Benoit Robillard
[Research Report] CEDRIC-08-1609, CEDRIC Lab/CNAM. 2008
Rapport hal-01125577v1

Live-Range Unsplitting for Faster Optimal Coalescing

 Sandrine Blazy , Benoit Robillard
LCTES'09 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems, Jan 2009, X, France. pp.70-79
Communication dans un congrès hal-01125616v1
Image document

SFAC, a tool for program comprehension by specialization

 Sandrine Blazy , Philippe Facon
IEEE Third Workshop on Program Comprehension, Nov 1994, Washington D.C., United States. pp.162-167, ⟨10.1109/WPC.1994.341266⟩
Communication dans un congrès inria-00165938v1
Image document

Transformations certifiées de programmes impératifs

 Sandrine Blazy
[Research Report] rapport CEDRIC No 398, 2002, pp.15
Rapport inria-00165957v1

Interprocedural analysis for program comprehension by specialization

 Sandrine Blazy , Philippe Facon
4th IEEE Workshop on Program Comprehension, Berlin, Jan 1996, X, France. pp.133-141
Communication dans un congrès hal-01124465v1

Formal specification and prorotyping of a program specializer

 Sandrine Blazy , Philippe Facon
TAPSOFT'95, Aarhus, Jan 1995, X, France. pp.666-680
Communication dans un congrès hal-01124466v1

Partial evaluation for the understanding of Fortran programs

 Sandrine Blazy , Philippe Facon
International Journal of Software Engineering and Knowledge Engineering, 1994, 4, pp.535-559
Article dans une revue hal-01124467v1

Coloration avec préférences dans les graphes triangulés

 Sandrine Blazy , Benoit Robillard , Eric Soutif
Journées Graphes et Algorithmes, Paris, Jan 2007, X, France. pp.32
Communication dans un congrès hal-01125410v1
Image document

Experiments in validating formal semantics for C

 Sandrine Blazy
C/C++ Verification Workshop, 2007, Oxford, United Kingdom. pp.95-102
Communication dans un congrès inria-00292043v1

An automatic detection of prokaryotic CoDing Sequences Combining Several Independent Methods

 St?phanie Bocs , Sandrine Blazy , Claudine M?digue , Paul Glaser
Genome 2000, Paris, Jan 2000, X, France
Communication dans un congrès hal-01124664v1
Image document

Comment gagner confiance en C ?

 Sandrine Blazy
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2007, numéro spécial "Langages applicatifs", 26 (9), pp.1195-1200. ⟨10.3166/TSI.26.1195-1200⟩
Article dans une revue inria-00292049v1
Image document

Sémantiques formelles

 Sandrine Blazy
Informatique [cs]. Université d'Evry-Val d'Essonne, 2008
HDR tel-00336576v1
Image document

Software maintenance: an analysis of industrial needs and constraints

 Marc Haziza , Jean-François Voidrot , Jean-Pierre Queille , Lech Pofelski , Sandrine Blazy
IEEE Conference on Software Maintenance, IEEE, Nov 1992, Orlando, USA, France. pp.18-26, ⟨10.1109/ICSM.1992.242563⟩
Communication dans un congrès inria-00143556v1

Un exemple de réutilisation de patterns de spécification avec la méthode B

 Sandrine Blazy , Frédéric Gervais , Régine Laleau
[Research Report] CEDRIC-02-395, CEDRIC Lab/CNAM. 2002
Rapport hal-01124740v1
Image document

Register allocation by graph coloring under full live-range splitting

 Sandrine Blazy , Benoît Robillard
ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded systems (LCTES'2009), ACM, Jun 2009, Dublin, Ireland
Communication dans un congrès inria-00387749v1

Une démarche outillée pour spécifier formellement des patrons de conception réutilisables

 Sandrine Blazy , Frédéric Gervais , Régine Laleau
Objets, Composants et Modèles dans l'ingénierie des SI, Jan 2003, X, France
Communication dans un congrès hal-01124805v1
Image document

Actes de la conférence JFLA2008 (Journées Francophones des Langages Applicatifs)

 Sandrine Blazy
INRIA. INRIA, pp.173, 2008, 2-7261-1295-1
Ouvrage (y compris édition critique et traduction) inria-00202715v1
Image document

Reuse of Specification Patterns with the B Method

 Sandrine Blazy , Frédéric Gervais , Régine Laleau
ZB 2003: Formal Specification and Development in Z and B, Jun 2003, Turku, Finland, pp.40-57
Communication dans un congrès inria-00078953v1
Image document

Vérification formelle d'un algorithme d'allocation de registres par coloration de graphe

 Sandrine Blazy , Benoît Robillard , Eric Soutif
JFLA (Journées Francophones des Langages Applicatifs), INRIA, Jan 2008, Etretat, France. pp.31-46
Communication dans un congrès inria-00202713v1

Coloration avec préférences dans les graphes triangulés

 Sandrine Blazy , Benoît Robillard , Eric Soutif
Journées Graphes et algorithmes (JGA'07), Nov 2007, Paris, France. pp.32
Communication dans un congrès inria-00292045v1
Image document

Application of formal methods to the development of a software maintenance tool

 Sandrine Blazy , Philippe Facon
ASE'97: The 12th IEEE Conference on Automated Software Engineering., Lowry, M. and Ledru, Y., Nov 1997, Lake Tahoe, Nevada, USA, pp.162-171
Communication dans un congrès inria-00078882v1
Image document

An automatic interprocedural analysis for the understanding of scientific application programs

 Sandrine Blazy , Philippe Facon
Dagstuhl seminar on partial evaluation, Feb 1996, Saarbrucken, Germany. pp.1-16, ⟨10.1007/3-540-61580-6⟩
Communication dans un congrès inria-00165927v1
Page :