Live CFA Implementation for 2/8/12

[Chris]

Sorry for the short notice about what we are doing tomorrow.

Tomorrow Matt will be leading a live implementation of CFA.

We will be voting for what language will be used for the
implementation. Given the short amount of time we have, our target
language will be the lambda calculus, possibly with a few extensions.
We will be voting to use:

Racket
Haskell
Java

Voting will be done tomorrow by those in attendance.

See you then!

Chris

[Shuying Liang]

I love the topic, here is some quick writing to share:
http://www.cs.utah.edu/~liangsy/lang-for-cfa-impl.html

[Thomas Gilray]

Great breakdown Shuying. I would personally get more out of a demonstration in Haskell, but I'd imagine Racket would be, overall, quicker and more to-the-point. If the focus is on kCFA (and not the language its written in), Racket is probably the way to go. Just my 2 cents.

--
Tom