Abstract Interpretation of E-Classes - 42Papers