DocumentCode
2544844
Title
A Formal Mapping between Program Slicing and Z Specifications
Author
Wu, Fangjun
Author_Institution
Sch. of Inf. Technol., Jiangxi Univ. of Finance & Econ., Nanchang
Volume
1
fYear
2009
fDate
22-24 Jan. 2009
Firstpage
257
Lastpage
261
Abstract
This paper represents a research effort towards the formal mapping between program slicing and Z specifications. General aspects of program slicing are considered, i.e. definitions of program slicing, nodes and edges of program dependence graphs, and program slicing algorithms. With this approach, we provide not only a precise semantic basis for program slicing but also a sound mechanism for reasoning and verification about program slicing.
Keywords
formal specification; graph theory; program slicing; program verification; Z specifications; formal mapping; program dependence graph; program slicing algorithm; program verification; Calculus; Computer industry; Debugging; Finance; Information technology; Logic; Security; Software maintenance; Software safety; Specification languages;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Engineering and Technology, 2009. ICCET '09. International Conference on
Conference_Location
Singapore
Print_ISBN
978-1-4244-3334-6
Type
conf
DOI
10.1109/ICCET.2009.122
Filename
4769467
Link To Document