Abstract Interpretation Abstract

I just finished the first draft of the abstract for my DCC/ETAPS paper. If you're interested, you can download it here.

Phew. Now for the extended abstract I need for PREP2004. It'll be basically the same talk, so no great effort should be needed now I've got this far.