A non-standard semantics for program slicing and dependence analysis

作者：Danicic Sebastian; Harman Mark; Howroyd John; Ouarbya Lahcen^*

来源：Journal of Logic and Algebraic Programming, 2007, 72(2): 191-206.

DOI：10.1016/j.jlap.2007.02.010

• program slicing
• non-standard semantics

We introduce a new non-strict semantics for a simple while language. We demonstrate that this semantics allows us to give a denotational definition of variable dependence and neededness, which is consistent with program slicing. Unlike other semantics used in variable dependence, our semantics is substitutive. We prove that our semantics is preserved by traditional slicing algorithms.

• 出版日期2007-8