comments

[Stephen Weeks]

> Here are the topics I'm planning on using for the submission.
> 
> General topics:
>   Analysis and transformation
>   (Implementation -- maybe?)

Yes.

> More specific topics:
>   Compile-time optimizations
>   Intermediate languages 
>   (Program analysis -- maybe?)

Yes.

> Unless I hear differently, the submission will be made with this snapshot.
> I only made minor changes, and removed the reference to the proof of Lemma
> 1 (which doesn't exist) from the proof of Theorem 2.  Grep for fluet for
> the other changes.

There is kind of a bad break between pages 6 and 7 and between the first and
second columns on page 11, but nothing major.