A non-standard semantics for program slicing and dependence analysis

TY - JOUR

T1 - A non-standard semantics for program slicing and dependence analysis

AU - Danicic, S

AU - Harman, M

AU - Howroyd, J

AU - Ouarbya, L

PY - 2007/7

Y1 - 2007/7

N2 - 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. (C) 2007 Published by Elsevier Inc

AB - 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. (C) 2007 Published by Elsevier Inc

U2 - 10.1016/j.jlap.2007.02.010

DO - 10.1016/j.jlap.2007.02.010

M3 - Article

VL - 72

SP - 191

EP - 206

JO - JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING

JF - JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING

IS - 2

ER -