How to talk about software correctness without the language-obsessed crowd talking about programming languages?
-
@dibblego How should we be talking about it? Most languages in use don't have well defined semantics. How do we get around that?
@JobVranish Start using those few that do. Also, let's talk about methods of verification, not necessarily and obsessively about languages.
-
-
@dibblego Where's a good place to start on methods? -
@JobVranish Well, I can think of lots of places to start. LCF is a good one I guess. Then onto HOL and so on.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.