[hcs-d] Summer Development Projects (and a virtual meeting
jkroll at fas.harvard.edu
Tue Jul 1 19:56:20 EDT 2008
It wasn't necessarily a joke. It's not impossible - just really hard.
I happen to be surrounded by formal methodists (a religious lot) at
work, so it's something that I think about. Greg Morrisett works on
something similar, namely the building of either language or compiler
tools to prove the nonexistence of simple problems like buffer
It was meant to be funny, though.
2008/7/1 Grant Dasher <gdasher at fas.harvard.edu>:
> 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
> hcs-discuss mailing list
> hcs-discuss at lists.hcs.harvard.edu
More information about the hcs-discuss