8 ms·Abstract interpretation would be the equivalent of symbolic differentiation in this analogy.by edflsafoiewq 8y agoAbstract interpretation would be the equivalent of symbolic differentiation in this analogy.