Title :
Denotational program slicing
Author :
Hausler, Philip A.
Author_Institution :
IBM Corp., Gaithersburg, MD, USA
Abstract :
An original, theoretical definition of denotational program slicing is presented. Program slicing is a method for automatic program decomposition that is based exclusively on control and data-flow information. Denotational slicing makes use of the functional semantics of a particular programming language and defines the various domains and appropriate mappings between them. Transformations are defined for each of the language constructs and applied to programs in a mathematical and systematic fashion. It is shown that program slices can be constructed denotationally and as a direct result can be specified precisely and simply
Keywords :
software engineering; automatic program decomposition; control information; data-flow information; denotational program slicing; functional semantics; mappings; Automatic control; Computer languages; Computer science; Data flow computing; Debugging; Programming profession; Scattering; Software engineering; Software maintenance; Software testing;
Conference_Titel :
System Sciences, 1989. Vol.II: Software Track, Proceedings of the Twenty-Second Annual Hawaii International Conference on
Conference_Location :
Kailua-Kona, HI
Print_ISBN :
0-8186-1912-0
DOI :
10.1109/HICSS.1989.48030
