Abstract Interpretation and Partial Evaluation

You don't know what that is? No problem, just read what will be my PhD thesis - then you are guaranteed not to understand it! (Not yet public readable, sorry!)

(I'll put in definitions and stuff from my diss once I have a tool that converts heavily prerpocessed latex with lotsa math into decent HTML.)

Here are some of the FUSE memos. FUSE is/was a scheme-based partial evaluation system, from which i have shamelessly copied some ideas for my thesis (after severely misunderstanding them, of course, so that no-one will notice it ;-). Some of the FUSE reports are ftp-able from quilty.stanford.edu. Oh, a warning: the Postscript is backwards.