STRL STRL
© STRL 1996-2008

Re-engineering Large Programs with Program Transformation
— Final Report: Individual Grant Review GR/R56099/01 —
Martin Ward
Software Technology Research Lab
De Montfort University


EXECUTIVE SUMMARY

1  Introduction
     1.1  Reduction
     1.2  Syntactic Slicing
     1.3  Semantic Slicing
     1.4  Conditioned Slicing
     1.5  The Representation Theorem

2  Implementation of Abstraction and Refinement

3  Implementation of Conditioned Semantic Slicing
     3.1  Semantic Slicing on Loops

4  Future Work

References








January 15, 2008
Home | Training | Research | People | About | News