A formalisation of the relationship between forms of program slicing

Dave Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel

Research output: Contribution to journalArticle

30 Citations (Scopus)


The widespread interest in program slicing within the source code analysis and manipulation community has led to the introduction of a large number of different forms of slicing. Each preserves some aspect of a program's behaviour and simplifies the program to focus exclusively upon this behaviour. In order to understand the similarities and differences between forms of slicing, a formal mechanism is required. This paper further develops a formal framework for comparing forms of slicing using a theory of program projection. This framework is used to reveal the ordering relationship between various static, dynamic, simultaneous and conditioned forms of slicing.

Original languageEnglish
Pages (from-to)228-252
Number of pages25
JournalScience of Computer Programming
Issue number3
Publication statusPublished - Oct 15 2006


  • Conditioned slicing
  • Dynamic slicing
  • Formal methods
  • Program slicing
  • Simultaneous slicing
  • Static slicing

ASJC Scopus subject areas

  • Software

Cite this