mahmood at MIT.EDU
Sun Sep 14 00:49:39 EDT 2008
I wanted to thank you again for notifying us about your work with the
Framework. I am happy to see framework to be extended to support
ownership types and other types that we did not work on yet.
Unfortunately, that also means that I do not have much experience with
your specific domain problems/challenges, but I hope to learn from
Feel free to contact us with your feedback. Please point us to your
code once it is made available online.
More information about the checkers