JUCS - Journal of Universal Computer Science 13(6): 854-873, doi: 10.3217/jucs-013-06-0854
Higher-Order Lazy Functional Slicing
expand article infoNuno F. Rodrigues, Luís Soares Barbosa
‡ Universidade do Minho, Portugal
Open Access
Abstract
Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, and corresponding tools, target either the imperative or the object oriented paradigms, where program slices are computed with respect to a variable or a program statement.
Keywords
program slicing, functional programming, program analysis