Dominique Boucher, Marc Feeley. Abstract Compilation: A New Implementation Paradigm for Static Analysis. In Tibor Gyimóthy, editor, Compiler Construction, 6th International Conference, CC 96, Linköping, Sweden, April 24-26, 1996, Proceedings. Volume 1060 of Lecture Notes in Computer Science, pages 192-207, Springer, 1996.
Abstract is missing.