![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Abstract Interpretation Abstract
Nov. 12th, 2003 12:43 pmI 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.
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.