Component Identification Through Program Slicing
Nuno F. Rodrigues, Luís Soares Barbosa · Electronic Notes in Theoretical Computer Science · 2006
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.