Hi Folks:
We reviewed Dmitry's effort estimates and think that most look good, but
we had the following changes:
AMS assertions: 4 months
Checker usability: 4 months
Assertion system functions: 1.5 months
Type system: 4 months
Formal semantics: 1 month
Vacuity: 2 weeks
John & Scott
-- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Mon May 24 14:24:49 2010
This archive was generated by hypermail 2.1.8 : Mon May 24 2010 - 14:24:56 PDT