3 ms·it's also short for Abstract Interpretation, right?by drdrey 2y agoit's also short for Abstract Interpretation, right?