S
Simon Forman
OO la la! Thank you!
Simon said:My understanding (so far) is that you (hope to) /derive/ correct code
using formal logic, rather than writing code and then proving its
soundness.
greg said:However, I suspect that you can't improve much on what we've already
got without restricting the domain of applicability of the
language. Otherwise, you just shift the intellectual bottleneck from
writing a correct program to writing correct specifications.
Want to reply to this thread or ask your own question?
You'll need to choose a username for the site, which only take a couple of moments. After that, you can post your question and our members will help you out.