DocumentCode
3012365
Title
Denotational program slicing
Author
Hausler, Philip A.
Author_Institution
IBM Corp., Gaithersburg, MD, USA
Volume
2
fYear
1989
fDate
3-6 Jan 1989
Firstpage
486
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/HICSS.1989.48030
Filename
48030
Link To Document