[Savannah-hackers] savannah.gnu.org: submission of CapC

[mrs35]

A package was submitted to savannah.gnu.org.
This mail was sent to address@hidden, address@hidden


Mark Seaborn <address@hidden> described the package as follows:
License: gpl
Other License: 
Package: CapC
System name: capc
This package wants to apply for inclusion in the GNU project

The project, CapC, is a C compiler for turning C programs into
memory-safe programs.  As well as providing the advantage of
enforcing memory safety on C programs, it lets them be subjected
to precise garbage collection, among other advantages.

The compiler is written in OCaml, and is small compared with a
C compiler written in C, such as gcc.  Currently it compiles
programs into a closure (so is really an interpreter), but I am
adding a backend to compile to an intermediate language that
could then be compiled into, say, ML.

The project already exists and can be found at:
http://www.srcf.ucam.org/~mrs35/comp/safe-c/
(this includes a description of how it works)