A Framework for Dening Equivalence Preserving Program Simplication and Its Application to Program Slicing. Technical Report, 7 Conclusions

(1986). The relationship between program complexity and slice complexity during debugging tasks. A parallel algorithm for static program slicing. In this paper we have shown that developers can analyse their systems by diving them up into a number of simpler programs which capture a sub{component of the original computation. We have used program slicing as… (More)