[Checkers] New material for checkers paper
mernst at csail.mit.edu
Sun Apr 27 15:56:41 EDT 2008
> I am conducting case studies now (currently working on the framework
> and IGJ itself now) for the paper. I will update the paper with new
> numbers hopefully by tonight.
That's great, thanks.
For tomorrow, I'm most interested in what new material might be added to the
paper (and will be added to an accompanying technical report). One example
is discussion of new framework features. Another example is new case
More information about the checkers