3 ms·
What makes you think that stateful code can't be reasoned about in a mathematical fashion?
by MaysonL 14y ago
What makes you think that stateful code can't be reasoned about in a mathematical fashion?
- kd0amg 14y agoWell, there's certainly a popular conception among program analysis and formal methods researchers that side effects make analysis much more difficult.