UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

A trajectory-based strict semantics for program slicing

Barraclough, RW; Binkley, D; Danicic, S; Harman, M; Hierons, RM; Kiss, A; Laurence, M; (2010) A trajectory-based strict semantics for program slicing. THEOR COMPUT SCI , 411 (11-13) 1372 - 1386. 10.1016/j.tcs.2009.10.025.

Full text not available from this repository.

Abstract

We define a program semantics that is preserved by dependence-based slicing algorithms. It is a natural extension, to non-terminating programs, of the semantics introduced by Weiser (which only considered terminating ones) and, as such, is an accurate characterisation of the semantic relationship between a program and the slice produced by these algorithms.Unlike other approaches, apart from Weiser's original one, it is based on strict standard semantics which models the 'normal' execution of programs on a von Neumann machine and, thus, has the advantage of being intuitive. This is essential since one of the main applications of slicing is program comprehension. Although our semantics handles nontermination, it is defined wholly in terms of finite trajectories, without having to resort to complex, counter-intuitive, non-standard models of computation. As well as being simpler, unlike other approaches to this problem, Our semantics is substitutive. Substitutivity is an important property because it greatly enhances the ability to reason about correctness of meaning-preserving program transformations such as slicing. (C) 2009 Elsevier B.V. All rights reserved.

Type: Article
Title: A trajectory-based strict semantics for program slicing
DOI: 10.1016/j.tcs.2009.10.025
Keywords: Program slicing, Program semantics, Non-termination, Program dependence, SCHEMAS, TRANSFORMATION, EQUIVALENCE
UCL classification: UCL > Provost and Vice Provost Offices
UCL > Provost and Vice Provost Offices > UCL BEAMS
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science
URI: http://discovery.ucl.ac.uk/id/eprint/1302231
Downloads since deposit
0Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item