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]
@inproceedings{Slice-LDTA10,
title = {Dependence Condition Graph for Semantics-based Abstract Program Slicing},
author = {Agostino Cortesi and Halder, Raju},
year = {2010},
month = {27-28 March},
url = {http://ldta.info/preproceedings2010.pdf},
tags = {semantics, rule-based, data-flow programming, data-flow, graph-rewriting, slicing, programming, rewriting, systematic-approach},
researchr = {https://researchr.org/publication/Slice-LDTA10},
cites = {0},
citedby = {0},
booktitle = {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)},
address = {Paphos, Cyprus},
publisher = {ACM Press},
}