Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski. Compositional Termination Analysis of Symbolic Forward Analysis. In Agostino Cortesi, editor, Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers. Volume 2294 of Lecture Notes in Computer Science, pages 109-125, Springer, 2002. [doi]
Abstract is missing.