|
Search the dblp DataBase
Carine Fédèle:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Carine Fédèle, Olivier Lecarme
Computer-Aided Building of a Compiler: An Example (Abstract). [Citation Graph (0, 0)][DBLP] CC, 1990, pp:212-214 [Conf]
- Carine Fédèle, Emmanuel Kounalis
Automatic Proofs of Properties of Simple C-- Modules. [Citation Graph (0, 0)][DBLP] ASE, 1999, pp:283-286 [Conf]
- Olivier Ponsini, Carine Fédèle, Emmanuel Kounalis
Rewriting of imperative programs into logical equations. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2005, v:56, n:3, pp:363-401 [Journal]
- Carine Fédèle, Olivier Lecarme
Towards a Toolkit for Building Language Implementations. [Citation Graph (0, 0)][DBLP] Softw., Pract. Exper., 1992, v:22, n:11, pp:911-936 [Journal]
Search in 0.001secs, Finished in 0.001secs
|