[Haskell-cafe] More Language.C work for Google's Summer of Code
atomb at galois.com
Tue Mar 30 18:37:57 EDT 2010
On Mar 30, 2010, at 3:16 PM, Tom Hawkins wrote:
> 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.
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.
More information about the Haskell-Cafe