Yoga Sivagurunathan

Learn More
Program Slicing is the process of deleting statements in a program that do not aaect a given set of variables at a chosen point in the program. In this paper the rst parallel slicing algorithm for static program slicing is introduced. It is shown how the control ow graph of the program to be sliced is converted into a network of concurrent processes,(More)
Problems associated with understanding, verifying and re-engineering the way in which a system allocates and releases dynamic memory present significant challenges to the software maintainer. Because the questions underlying these problems are undecidable, no system can provide a completely fail safe certification. For example, in checking for memory leaks,(More)
  • 1