Research Online

Logo

Goldsmiths - University of London

A non-standard semantics for program slicing and dependence analysis

Danicic, Sebastian; Harman, Mark; Howroyd, John and Ouarbya, Lahcen. 2007. A non-standard semantics for program slicing and dependence analysis. The Journal of Logic and Algebraic Programming, 72(2), pp. 192-206. ISSN 1567-8326 [Article]

No full text available

Abstract or Description

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.

Item Type:

Article

Identification Number (DOI):

https://doi.org/10.1016/j.jlap.2007.02.010

Keywords:

program slicing; non-standard semantics

Departments, Centres and Research Units:

Computing

Dates:

DateEvent
2007Published

Item ID:

10112

Date Deposited:

30 Apr 2014 13:51

Last Modified:

20 Jun 2017 11:22

Peer Reviewed:

Yes, this version has been peer-reviewed.

URI:

http://research.gold.ac.uk/id/eprint/10112

Edit Record Edit Record (login required)