Pages personnelles de Carine Fédèle

Publications depuis ma nomination

Automatic Verification of Loop Invariants
avec Olivier Ponsini, Hélène Collavizza, Michel Rueher et Claude Michel
ICSM'2010 - 26th IEEE International Conference on Software Maintenance
Timisoara (Roumanie)
12-18 septembre 2010 (.pdf)
Mutable Lists and Call-by-Reference with SOSSubC
avec Olivier Ponsini
WSEAS Transactions on Computers, 2006, vol. 5, no. 9, pp. 1942-1949 (.pdf)
Towards Verification of SubC Programs with Side Effects
avec Olivier Ponsini
The 10th WSEAS International Conference on COMPUTERS
Vouliagmeni Beach (Athènes, Grèce)
juillet 2006 (.ps)
Rewriting of Imperative Programs into Logical Equations
avec Emmanuel Kounalis et Olivier Ponsini
Science of Computer Programming, no. 56, pp. 363-401
2005 (mis en ligne le 30 novembre 2004) (.ps)
Compilateurs
traduction de "Modern Compiler Design"
écrit par Dick Grune, Henri E. Bal, Ceriel J.H. Jacobs et Koen G. Langendoen
avec Olivier Lecarme
septembre 2002 (Dunod)
SOS C--: a System for interpreting Operational Semantics of C-- programs
avec Emmanuel Kounalis et Olivier Ponsini
Applied Informatics'2002 - 20th IASTED International Multi-Conference
Innsbruck (Autriche)
février 2002 (.ps)
Automatic Proofs of Properties of Simple C-- Modules
avec Emmanuel Kounalis
Automated Software Engineering'1999 - 14th IEEE International Conference
Cocoa Beach (Floride, États-Unis)
octobre 1999 (.ps)
Towards a visual meta-compiling environment
avec Michel Gautero, Pierre Alcalde et Jean-Charles Godien
International Conference on Compiler Construction
Linköping (Suède)
avril 1996
Self-compiling a meta-compiler
avec Olivier Lecarme
International Conference on Compiler Construction
Édimbourg (Écosse, Royaume-Uni)
avril 1994
A toolbox for easily generating true compilers
avec Michel Gautero et Olivier Lecarme
International Conference on Compiler Construction
Paderborn (Allemagne)
octobre 1992
Towards a Toolkit for Building Language Implementations
avec Olivier Lecarme
Software - Practice & Experience, vol 22, no 11, pp. 911-936
novembre 1992