Abstract program slicing on dependence condition graphs

Raju Halder, Agostino Cortesi. Abstract program slicing on dependence condition graphs. Science of Computer Programming, 78(9):1240-1263, 2013. [doi]

@article{HalderC13,
  title = {Abstract program slicing on dependence condition graphs},
  author = {Raju Halder and Agostino Cortesi},
  year = {2013},
  doi = {10.1016/j.scico.2012.05.007},
  url = {http://dx.doi.org/10.1016/j.scico.2012.05.007},
  researchr = {https://researchr.org/publication/HalderC13},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {78},
  number = {9},
  pages = {1240-1263},
}