[hcs-d] Summer Development Projects (and a virtual meeting
gdasher at fas.harvard.edu
Tue Jul 1 19:48:41 EDT 2008
I'll let Josh clarify his meaning, but I certainly thought it was a joke...
2008/7/1 Ivan Krstić <krstic at solarsail.hcs.harvard.edu>:
> On Jul 1, 2008, at 7:17 PM, Shaneal Manek wrote:
>> A 'verified' program is one that is, in some sense, proven to work.
> I know what the words mean, and I don't think it was a joke since someone
> mentioned such a discussion after a languages seminar (Greg Morrisett's?).
> Ivan Krstić <krstic at solarsail.hcs.harvard.edu> | http://radian.org
> hcs-discuss mailing list
> hcs-discuss at lists.hcs.harvard.edu
More information about the hcs-discuss