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

Ivan Krstić krstic at solarsail.hcs.harvard.edu
Tue Jul 1 19:24:54 EDT 2008


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



More information about the hcs-discuss mailing list