There are several "problems" with proving programs correct that
I don't quite know how to solve, or even approach. But that's the
fun of "research", right?
For the data representation question I've been looking at types.
I took 10 courses at CMU. I am eyebrow deep in type theory.
I'm looking at
Hi Tim:
Glad to hear from you now and then, promoting and working towards your ideas
and ideals.
>>We need proven algorithms.
Just one short comment: it is often possible to prove algorithms (that is,
providing the theoretical foundation for the algorithm), but it is much harder
to prove