Component identification through program slicing

Component identification through program slicing (link)
N. Rodrigues and L. S. Barbosa. In Proc. FACS'05, Macau, Elsevier Elect. Notes in Theor. Comp. Sci. 160, pp. 291-304, October, 2005.

Abstract

This paper reports on the development of specific slicing techniques for functional programs and their use for the identification of possible coherent components from monolithic code. An associated tool is also introduced. This piece of research is part of a broader project on program understanding and re-engineering of legacy code supported by formal methods.