Combining Abstract Interpretation and Partial Evaluation (Brief Overview)

Neil D. Jones. Combining Abstract Interpretation and Partial Evaluation (Brief Overview). In Pascal Van Hentenryck, editor, Static Analysis, 4th International Symposium, SAS 97, Paris, France, September 8-10, 1997, Proceedings. Volume 1302 of Lecture Notes in Computer Science, pages 396-405, Springer, 1997.

Abstract

Abstract is missing.