abstract interpretation static analysis machine learning minkowski sum narrowing sharing linearity computing
See more