Forward slicing of functional logic programs by partial evaluation

Josep Silva, Germán Vidal

Program slicing has been mainly studied in the context of imperative languages, where it has been applied to a wide variety of software engineering tasks, like program understandin…