dblp.uni-trier.dewww.uni-trier.de

Carine Fédèle

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
4EEOlivier Ponsini, Carine Fédèle, Emmanuel Kounalis: Rewriting of imperative programs into logical equations. Sci. Comput. Program. 56(3): 363-401 (2005)
1999
3EECarine Fédèle, Emmanuel Kounalis: Automatic Proofs of Properties of Simple C-- Modules. ASE 1999: 283-286
1992
2 Carine Fédèle, Olivier Lecarme: Towards a Toolkit for Building Language Implementations. Softw., Pract. Exper. 22(11): 911-936 (1992)
1990
1 Carine Fédèle, Olivier Lecarme: Computer-Aided Building of a Compiler: An Example (Abstract). CC 1990: 212-214

Coauthor Index

1Emmanuel Kounalis [3] [4]
2Olivier Lecarme [1] [2]
3Olivier Ponsini [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)