|
|||||
|
|
A non-standard semantics for program slicing and dependence analysis |
|
| Authors: | Sebastian Danicic Mark Harman John Howroyd Lahcen Ouarbya |
| Affiliation: | aDepartment of Mathematical and Computing Sciences, Goldsmiths College, University of London, New Cross, London SE14 6NW, United Kingdom;bDepartment of Computer Science, King’s College London, Strand, London WC2R 2LS, United Kingdom;c@UK PLC, 5 Jupiter House, Calleva Park, Aldermaston, Berkshire RG7 8NN, United Kingdom |
| Abstract: | 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. |
| Keywords: | Program slicing Non-standard semantics |
| 本文献已被 ScienceDirect 等数据库收录！ | |