Reminder: We will meet today at 2:30 instead of our usual time. Dave will present his work on formalizing ECMAscript in the Stratego term-rewriting system. We'll be in WVH166, as usual. Richard