[FOM] 187:Grand Unification 2 - saving human lives

Stuart O Anderson soa at andrew.cmu.edu
Wed Jul 2 21:36:01 EDT 2003


Regarding Dr. Friedman's latest posting concerned with the development of
a verifiable programming language, I'm not sure I understand how what's
being proposed would differ in practice from existing research
languages, such as ML, that allow formal proofs of correctness.  What
further benefits might be realized if a language meeting the
specifications set out were to be created?

Regards,

Stuart Anderson


More information about the FOM mailing list