UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Static slicing of threaded programs

Krinke, J; (1998) Static slicing of threaded programs. In: ACM SIGPLAN NOTICES. (pp. 35 - 42). ASSOC COMPUTING MACHINERY

Full text not available from this repository.

Abstract

Static program slicing is an established method for analyzing sequential programs, especially for program understanding, debugging and testing. Until now, there was no slicing method for threaded programs which handles interference correctly. We present such a method which also calculates more precise static slices. This paper extends the well known structures of the control flow graph and the program dependence graph for threaded programs with interference. This new technique does not require serialization of threaded programs.

Type: Proceedings paper
Title: Static slicing of threaded programs
Event: Annual SIGPLAN Conference on Programming Language Design and Implementation
Location: MONTREAL, CANADA
Dates: 1998-06-16 - 1998-06-19
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/191975
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