Abstract
Program slicing is a well-known technique that has been used in a variety of software engineering areas, such as comprehension, understanding, maintenance, debugging, testing, reuse, metrics, etc. This paper discusses how the formal specification language Z schema calculus may be used to specify program slicing. General aspects of program slicing are considered, i.e. dependence graphs and program slicing algorithms. This formalization could help in the correct understanding of program slicing and also the correct application of a desired slicing regime in a rigorous way.
- M. Weiser. Program slicing. IEEE Transaction on Software Engineering, Vol. 16, No.5, 1984, pp.498--509.Google Scholar
Digital Library
- K. Ottenstein, L. Ottenstein. The program dependence graph in a software development environment. ACM SIGPLAN Notices, Vol.19, No.5, 1984, pp. 177--184. Google Scholar
Digital Library
- J. Ferrante, K. J. Ottenstein, and J. D. Warren. The program dependence graph and its use in optimization. ACM Transactions on Programming Languages and Systems, Vol.9, No.3, 1987, pp. 319--349. Google Scholar
Digital Library
- S. Horwitz, T. Reps, D. Binkley. Interprocedural slicing using dependence graphs. ACM Transaction on Programming Languages and Systems, Vol. 12, No. 1, 1990, pp. 26--60. Google Scholar
Digital Library
- F. Tip. A survey of program slicing techniques. Journal of Programming Languages, Vol.3, No.3, 1995, pp 121--189.Google Scholar
- L. Larsen, M. Harrold. Slicing object-oriented software. 18th International Conference on Software Engineering, Berlin, Germany, March 1996, pp. 495--505. Google Scholar
Digital Library
- F. Ricca, P. Tonella. Construction of the system dependence graph for Web application slicing. Proceedings of the 2nd IEEE. International Workshop on Source Code Analysis and Manipulation, Montreal, Canada, Oct 1, 2002, pp. 123--132. Google Scholar
Digital Library
- N. Walkinshaw, M. Roper, and M. Wood. The Java system dependence graph. Proceedings of the 3rd IEEE International Workshop on Source Code Analysis and Manipulation, Amsterdam, Netherlands, SEP 26--27, 2003, pp. 55--64.Google Scholar
Cross Ref
- Wu Fangjun, Yi Tong. Slicing Z specifications. ACM SIGPLAN Notices, Vol.39, No.8, 2004, pp. 39--48. Google Scholar
Digital Library
- Wu Fangjun. Research on Z formal specifications slicing {Ph.D. thesis}. Jiangxi University of Finance and Economics, 2006.Google Scholar
- Yi Tong. Research on UML models-oriented dependence analysis and its applications {Ph.D. thesis}. Jiangxi University of Finance and Economics, 2006.Google Scholar
- T. Rep, W. Yang. The semantics of program slicing and program integration. Lecture Notes in Computer Science, Vol. 352, pp. 360--374. Google Scholar
Digital Library
- R. Cartwright, M. Felleisen. The semantics of program dependence. ACM SIGPLAN Notices, Vol.24, No.7, 2004, pp. 13--27. Google Scholar
Digital Library
- G. A. Venkatesh, The semantic approach to program slicing, ACM SIGPLAN Notices, Vol. 26, No. 6, 1991, pp. 107--119. Google Scholar
Digital Library
- R. Giacobazzi, I. Mastroeni, Non-standard semantics for program slicing. Higher-Order and Symbolic Computation, Vol. 16, No. 4, 2003, pp.297--339. Google Scholar
Digital Library
- S. Danicic, D. Binkley, T. Gyimothy, M. Harman, O. L. KissAkos. Formalizing executable dynamic and forward slicing. In: Proceedings of 4th Workshop on Source Code Analysis and Manipulation (SCAM 2004), September 14th-15th, 2004, pp. 43--52. Google Scholar
Digital Library
- J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1 Google Scholar
Digital Library
- Formal specification---Z notation-syntax, type and semantics (consensus working draft 2.6), Z Standards Panel, August 24, 2000. http://www.cs.york.ac.uk/~ian/zstan/Google Scholar
- X. Jia. ZTC: A type checker for Z notation. user's guide. version 2.03, August 1998. Division of Software Engineering, School of Computer Science, Telecommunication, and Information Systems, DePaul University, USA, 1998Google Scholar
- Miao Huaikou, Liu Ling, Yu Chuanjiang, Ming Jijun, Lili. Z User Studio: an integrated support tool for Z specifications. In: APSEC 2001. Macua. Dec 4--7, 2001, pp. 437--444. Google Scholar
Digital Library
Index Terms
(auto-classified)Formal specification of program slicing
Recommendations
Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing
In the present article, we formally define the notion of abstract program slicing, a general form of program slicing where properties of data are considered instead of their exact value. This approach is applied to a language with numeric and reference ...
Program Slicing
IFITA '10: Proceedings of the 2010 International Forum on Information Technology and Applications - Volume 01Program slicing provides a new way to software maintenance, program understanding. It can give the programmer the statements only relevant to the computation of a given function. It can transform a large program into a smaller one. A program slicing ...
Conditioned Slicing of Interprocedural Programs
Program slicing is a technique to decompose programs depending on control flow and data flow amongst several lines of code in a program. Conditioned slicing is a generalization of static slicing and dynamic slicing. A variable, the desired program point,...






Comments