Version française
Home     About     Download     Resources     Contact us    
Browse thread
A C to OCaml helper ?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Christopher L Conway <cconway@c...>
Subject: Re: [Caml-list] A C to OCaml helper ?
You could try writing a CIL visitor that outputs an OCaml
transliteration (http://hal.cs.berkeley.edu/cil/). How well that would
work depends on what your C source code looks like.

Chris

On Wed, Mar 12, 2008 at 3:42 PM, Fabrice Marchant
<fabrice.marchant@orange.fr> wrote:
>   Hi !
>
>  Please does it exist some tool that could do at least the very mechanical first parts of the translation of a C source to OCaml ?
>
>   Thanks,
>
>  Fabrice
>
>  _______________________________________________
>  Caml-list mailing list. Subscription management:
>  http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
>  Archives: http://caml.inria.fr
>  Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
>  Bug reports: http://caml.inria.fr/bin/caml-bugs
>
>