Slide 1 Proto Implementation Jonathan Bachrach MIT AI Lab Slide 2 Outline Goals AST Runtime Compilation to C –AST transformations –C output strategy –C runtime Bootstrapping…