[JSR308] Concurrency annotations on blocks

David Wagner daw at cs.berkeley.edu
Sat Feb 3 01:20:34 EST 2007

In article <45C411DE.5080801 at sun.com> you write:
>Perhaps the best way past our logjam (uh oh, I may get spanked again ;-) 
>is to come up with a conceptual set of cool assertion checkers whose 
>annotations can't be placed (or can't be placed optimally), and then 
>figure out how to remove those obstacles.

I think this is a good idea.  It seems to me that folks have already
started down this route.  For instance, folks have mentioned JML, which
seems look a good example to me.  It already illuminates some obstacles,
which prompted discussion about how to address those obstacles.  I wonder
whether maybe folks here on this list aren't familiar with JML?  It's a
fairly mature tool that there is a good bit of experience with, so it's
a good thing to look at.  There are many other interesting checkers,
of course; I don't want to be too focused on one; but I also don't want
people to have the impression that this is being made up out of thin
air, because it isn't.

More information about the JSR308 mailing list