References
- M. Weiser, 'Program Slicing,' IEEE Trans. on Software Engineering, vol. 10, no. 4, pp. 352-357, July 1984 https://doi.org/10.1109/TSE.1984.5010248
- H. Mili, F. Mili, and A. Mili, 'Reusing Software: Issues and Research Directions,' IEEE Trans. on Software Engineering, vol. 21, no. 6, pp. 528-562, Jun 1995 https://doi.org/10.1109/32.391379
- G. Canfora, A. Cimitile, A. De Lucia, and G. A. Di Lucca, 'Software Salvaging based on Conditions,' In Proceedings of International Conference on Software Maintenance, pp. 424-433, 1994 https://doi.org/10.1109/ICSM.1994.336752
- H. S. Kim, Y. R. Kwon, and I. S. Chung, 'Restructuring Programs Through Program Slicing,' International Journal of Software Engineering and Knowledge Engineering, vol. 4, no. 3, pp. 349-368, 1994. 1981 https://doi.org/10.1142/S0218194094000179
- F. Lanubile and G. Visaggio, 'Extracting Reusable Functions by Flow-graph based Program Slicing,' IEEE Trans. on Software Engineering, vol. 23, no. 4, pp. 246-259, April 1997 https://doi.org/10.1109/32.588543
- M. J. Harrold, N. Ci, 'Reuse-Driven Interprocedural Slicing,' In Proceedings of International Conference on Software Engineering, pp. 74-83, April 1998 https://doi.org/10.1109/ICSE.1998.671104
- J. de Bakker, Mathematical Theory of Program Correctness, Prentice/Hall Int'l. Inc., 1980
- R. J. R. Back, 'A Calculus of Refinements for Program Derivations,' Acta Informatica, vol. 25, pp. 593-624, 1988 https://doi.org/10.1007/BF00291051
- E. W. Dijkstra, 'Guarded Commands, Nondeterminacy and Formal Derivation of Programs,' Communications of the ACM, vol. 18, no. 8, pp. 453-457, Aug. 1975 https://doi.org/10.1145/360933.360975
- D. Gries, The Science of Programming, Springer-Verlag New York Inc., 1981
- C. W. Krueger, 'Software Reuse,' ACM Computing Surveys, vol. 24, no. 2, pp. 131-183, Jun 1992 https://doi.org/10.1145/130844.130856
- S. Horwitz, J. Prins, and T. Reps, 'Integrating Non-interfering Versions of Programs,' ACM Trans. on Programming Languages and Systems, vol. 11, no. 3, pp. 345-387, July 1989 https://doi.org/10.1145/65979.65980
- R. Mili, A. Mili, and R. T. Mittermeir, 'Storing and Retrieving Software Components: A Refinement Based System,' IEEE Trans. on Software Engineering, vol. 23, no. 7, pp. 445-460, July 1997 https://doi.org/10.1109/32.605762
- R. S. Arnold, 'Software Restructuring,' Proc. IEEE, pp. 607-617, 1989 https://doi.org/10.1109/5.24146
- B. Korel and J. Laski, 'Dynamic Slicing of Computer Programs,' Journal of Systems and Software, vol. 13, pp. 187-195, 1990 https://doi.org/10.1016/0164-1212(90)90094-3
- G. Venkatesh, 'The Semantic Approach to Program Slicing,' In Proc. of the ACM SIGPLAN91 Conf. on Programming Languages Design and Implementation, Toronto, Ontario, pp. 26-28, June 1991
- J. J. Comuzzi and J. M. Hart, 'Program Slicing Using Weakest Preconditions,' In FME'96, vol. 1051 of Lecture Notes in Computer Science, pp. 557-575, Mar. 1996 https://doi.org/10.1007/3-540-60973-3_107
- B. Korel and J. Laski, 'Dynamic Program Slicing,' Information Processing Letters, vol. 29, no. 3, pp. 155-163, 1988 https://doi.org/10.1016/0020-0190(88)90054-3
- F. Tip, 'A Survey of Program Slicing Techniques,' TR CS-R9438, Univ. of Amsterdam, 1994
- A. Nishimatsu, M. Jihira, S. Kusumoto, and K. Inoue, 'Call-Mark Slicing: An Efficient and Economical Way of Reducing Slice,' In Proceedings of International Conference on Software Engineering, pp. 422-431, May 1999 https://doi.org/10.1109/ICSE.1999.841032