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

On Mar 30, 2010, at 3:16 PM, Tom Hawkins wrote:

On Tue, Mar 30, 2010 at 7:30 PM, Aaron Tomb 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.

I would also love to have something along these lines, and would be happy to mentor such a project. On a related note, I have some code sitting around that converts Language.C ASTs into a variant of Guarded Commands, and I expect I'll release that at some point. For the moment, it's a little too intimately tied to the program it's part of, though. Aaron