TY - RPRT TI - Enhanced sharing analysis techniques: a comprehensive evaluation AU - Roberto Bagnara AU - Enea Zaffanella AU - Patricia M. Hill PY - 2004 UR - https://arxiv.org/abs/cs/0401022 ID - cs/0401022 ER -