A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs.

Roberto Barbuti Roberto Giacobazzi Giorgio Levi A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs. 133-181 1993 15 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/151646.151650 db/journals/toplas/toplas15.html#BarbutiGL93