%0 Journal Article %J Electronic Notes in Theoretical Computer Science %D 2006 %T Component Identification Through Program Slicing %A Nuno Rodrigues %A Luis Soares Barbosa %I Elsevier %P 291-304 %V 160 %X

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.

%> https://haslab.uminho.pt/sites/default/files/lsb/files/cips_nfr.pdf