Sun Aug 11 10:20:05 EDT 2013

State machine translator - how to start?

This is an exercise in dealing with control flow.  What are the
necessary elements?

- function inlining: any (higher order) function call that contains a
  yield note

- variable binding analysis.

- function body rewrite bridging yield statements.

It's hard to get a good overview, so maybe best to start writing code.

- Abstract interpretation of Haskell Language.C