Agostino Cortesi, Raju Halder. Dependence condition graph for semantics-based abstract program slicing. In Claus Brabrand, Pierre-Etienne Moreau, editors, Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPS. pages 4, ACM, 2010. [doi]
Abstract is missing.