| |
|
| | 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
| | ||
| | ||||
| | |