[hcs-d] Summer Development Projects (and a virtual meeting tonight!)

Grant Dasher 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...

--Grant

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
> http://lists.hcs.harvard.edu/mailman/listinfo/hcs-discuss
>
>


More information about the hcs-discuss mailing list