[Haskell-cafe] More Language.C work for Google's Summer of Code

[Tom Hawkins]

On Tue, Mar 30, 2010 at 7:30 PM, Aaron Tomb <atomb at galois.com> wrote:
> Hello,
>
> I'm wondering whether there's anyone on the list with an interest in doing
> additional work on the Language.C library for the Summer of Code. There are
> a few enhancements that I'd be very interested seeing, and I'd love be a
> mentor for such a project if there's a student interested in working on
> them.

Here's another suggestion: A transformer to convert Language.C's AST
to RTL, thus hiding a lot of tedious details like structures, case
statements, variable declarations, typedefs, etc.

I started writing a model checker [1] based on Language.C, but got so
bogged down in all the details of C I lost interest.

-Tom

[1] http://hackage.haskell.org/package/afv