4 ms·
It’s as much a science as mathematical physics, I would suppose? You can make predictions (scaling of an algorithm, correctness of a concurrent algorithm) and t
by andyferris 3y ago
It’s as much a science as mathematical physics, I would suppose? You can make predictions (scaling of an algorithm, correctness of a concurrent algorithm) and test them empirically.
Some people might call pure math a “science”, but this is at the very least applied math (ie more connected to physical reality than pure math).
- mrkeen 3y agoYou could, but this book doesn't, as far as I've skimmed. It even makes the case as to why not: > This usually means that there are an enormous number of possible executions, and testing can examine only a tiny fraction of them.