Carine Fédèle

Publication Activity (10 Years)

Years Active: 1990-2010
Publications (10 Years): 0

Publications

Olivier Ponsini, Hélène Collavizza, Carine Fédèle, Claude Michel, Michel Rueher
Automatic verification of loop invariants. ICSM (2010)
Olivier Ponsini, Carine Fédèle, Emmanuel Kounalis
Rewriting of imperative programs into logical equations. Sci. Comput. Program. 56 (3) (2005)
Carine Fédèle, Emmanuel Kounalis
Modules. ASE (1999)
Carine Fédèle, Olivier Lecarme
Towards a Toolkit for Building Language Implementations. Softw. Pract. Exp. 22 (11) (1992)
Carine Fédèle, Olivier Lecarme
Computer-Aided Building of a Compiler: An Example (Abstract). CC (1990)