Carine Fédèle

According to our database, Carine Fédèle authored at least 5 papers between 1990 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Automatic verification of loop invariants.

Olivier Ponsini, Hélène Collavizza, Carine Fédèle, Claude Michel, Michel Rueher

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

2005

Rewriting of imperative programs into logical equations.

Olivier Ponsini, Carine Fédèle, Emmanuel Kounalis

Sci. Comput. Program., 2005

1999

Automatic Proofs of Properties of Simple C^- Modules.

Carine Fédèle, Emmanuel Kounalis

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

1992

Towards a Toolkit for Building Language Implementations.

Carine Fédèle, Olivier Lecarme

Softw. Pract. Exp., 1992

1990

Computer-Aided Building of a Compiler: An Example (Abstract).

Carine Fédèle, Olivier Lecarme

Proceedings of the Compiler Compilers, 1990