UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

A formalisation of the relationship between forms of program slicing

Binkley, D; Danicic, S; Gyimothy, T; Harman, M; Kiss, A; Korel, B; (2006) A formalisation of the relationship between forms of program slicing. In: SCIENCE OF COMPUTER PROGRAMMING. (pp. 228 - 252). ELSEVIER SCIENCE BV

Full text not available from this repository.

Abstract

The widespread interest in program slicing within the source code analysis and manipulation community has led to the introduction of a large number of different forms of slicing. Each preserves some aspect of a program's behaviour and simplifies the program to focus exclusively upon this behaviour. In order to understand the similarities and differences between forms of slicing, a formal mechanism is required. This paper further develops a formal framework for comparing forms of slicing using a theory of program projection. This framework is used to reveal the ordering relationship between various static, dynamic, simultaneous and conditioned forms of slicing. (c) 2006 Elsevier B.V. All rights reserved.

Type: Proceedings paper
Title: A formalisation of the relationship between forms of program slicing
Event: 5th IEEE International Workshop on Source Code Analysis and Manipulation
Location: Budapest, HUNGARY
Dates: 2005-09-30 - 2005-10-01
DOI: 10.1016/j.scico.2006.04.007
Keywords: program slicing, dynamic slicing, static slicing, conditioned slicing, simultaneous slicing, formal methods, SCHEMAS
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/1302208
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