[Haskell-cafe] More Language.C work for Google's Summer of Code
tomahawkins at gmail.com
Tue Mar 30 18:16:35 EDT 2010
On Tue, Mar 30, 2010 at 7:30 PM, Aaron Tomb <atomb at galois.com> wrote:
> 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
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  based on Language.C, but got so
bogged down in all the details of C I lost interest.
More information about the Haskell-Cafe