Dependence Condition Graph for Semantics-based Abstract Program Slicing

Agostino Cortesi, Halder, Raju. Dependence Condition Graph for Semantics-based Abstract Program Slicing. In Proceedings of the 10th International Workshop on Language Descriptions Tools and Applications (LDTA'10) - satellite event of European Joint Conferences on Theory and Practice of Software (ETAPS'10). ACM Press, Paphos, Cyprus, 27-28 March 2010. [doi]

Authors

Cortesi, Agostino

Identified as Agostino Cortesi
(Università Ca' Foscari di Venezia, Italy
)

Halder, Raju

This author has not been identified. It may be one of the following persons: Look up 'Halder, Raju' in Google