UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Node coarsening calculi for program slicing

Harman, M; Hierons, R; Danicic, S; Howroyd, J; Laurence, M; Fox, C; (2001) Node coarsening calculi for program slicing. In: Burd, E and Aiken, P and Koschke, R, (eds.) EIGHTH WORKING CONFERENCE ON REVERSE ENGINEERING, PROCEEDINGS. (pp. 25 - 34). IEEE COMPUTER SOC

Full text not available from this repository.

Abstract

Several approaches to reverse and re-engineering are based upon program slicing. Unfortunately, for large systems, such as those which typically form the subject of reverse engineering activities, the space and time requirements of slicing can be a barrier to successful application.Faced with this problem, several authors have found it helpful to merge Control Flow Graph (CFG) nodes, thereby improving the space and time requirements of standard slicing algorithms. The node-merging process essentially creates a 'coarser' version of the original CFG.This paper introduces a theory for defining Control Flow Graph node coarsening calculi. The theory formalizes properties of interest, when coarsening is used as a precursor to program slicing. The theory is illustrated with a case study of a coarsening calculus, which is proved to have the desired properties of sharpness and consistency.

Type: Proceedings paper
Title: Node coarsening calculi for program slicing
Event: 8th Working Conference on Reverse Engineering (WCRE)
Location: STUTTGART, GERMANY
Dates: 2001-10-02 - 2001-10-05
ISBN: 0-7695-1303-4
Keywords: slicing, slice precision, node merging
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/1302122
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