On Wed, Aug 18, 2004 at 12:37:44AM +0200, Jesus M. Gonzalez-Barahona wrote: > Package: wnpp > Severity: wishlist > > * Package name : cinterlang > Version : 1.2.5 > Upstream Author : George C. Necula <[EMAIL PROTECTED]>, Scott McPeak > <[EMAIL PROTECTED]>, Wes Weimer <[EMAIL PROTECTED]>, Ben Liblit <[EMAIL > PROTECTED]> > * URL : http://manju.cs.berkeley.edu/cil/ > * License : BSD-like > Description : C program analysis and transformation (C Intermediate > Language, CIL) > > CIL (C Intermediate Language) is a high-level representation along > with a set of tools that permit easy analysis and source-to-source > transformation of C programs. It is written in OCaml. > . > CIL is both lower-level than abstract-syntax trees, by clarifying > ambiguous constructs and removing redundant ones, and also > higher-level than typical intermediate languages designed for > compilation, by maintaining types and a close relationship with the > source program. The main advantage of CIL is that it compiles all > valid C programs into a few core constructs with a very clean > semantics. Also CIL has a syntax-directed type system that makes it > easy to analyze and manipulate C programs. Furthermore, the CIL > front-end is able to process not only ANSI-C programs but also those > using Microsoft C or GNU C extensions. >
Hello, Maybe you can get in touch with debian OCaml Maintainer groups. There is an alioth project ( pkg-ocaml-maint ), a mailing list ( debian-ocaml-maint ) and an IRC channel ( #debian-ocaml-maint @freenode ). This should help you... Kind regard Sylvain Le Gall
