Amorphous procedure extraction

Proceedings - Fourth IEEE International Workshop on Source Code Analysis and Manipulation

Volumn , Issue , 2004, Pages 85-94

  Harman, Mark ^a   Binkley, David ^b   Singh, Ranjit ^a   Hierons, Robert M ^a  

^a BRUNEL UNIVERSITY   (United Kingdom)

^b LOYOLA UNIVERSITY MARYLAND   (United States)

Author keywords

Program Slicing; Program Transformation; Variable Dependence Analysis

Indexed keywords

IDENTIFICATION TOOLS; PRECISION; PROCEDURE EXTRACTION; SYNTAX-PRESERVING;

ALGORITHMS; COMPUTATIONAL METHODS; COMPUTER SOFTWARE; DATA FLOW ANALYSIS; SEMANTICS; SOFTWARE ENGINEERING;

PROBLEM SOLVING;

EID: 14344264448     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCAM.2004.4     Document Type: Conference Paper

References (31)

1. BARESEL, A., BINKLEY, D. W., HARMAN, M., AND KOREL, B. Evolutionary testing in the presence of loop-assigned flags: A testability transformation approach. In International Symposium on Software Testing and Analysis (ISSTA 2004) (Omni Parker House Hotel, Boston, Massachusetts, July 2004). To appear.
2. BINKLEY, D. W., AND GALLAGHER, K. B. Program slicing. In Advances in Computing, Volume 43, M. Zelkowitz, Ed. Academic Press, 1996, pp. 1-50.
3. BINKLEY, D. W., AND HARMAN, M. A survey of empirical results on program slicing. Advances in Computers 62 (2004), 105-178.
4. BJØRNER, D., ERSHOV, A. P., AND JONES, N. D. Partial evaluation and mixed computation. North-Holland, 1987.
5. CANNON, L., ELLIOTT, R., KIRCHHOFF, L., MILLER, J., MILNER, J., MITZE, R., SCHAN, E., WHITTINGTON, N., SPENCER, H., KEPPEL, D., AND BRADER, M. Recommended C style and coding standards, 2000. http://www.cs.umd.edu/users/cml/ cstyle/indhill-cstyle.html.
6. COEN-PORISINI, A., AND DE PAOLI, F. SYMBAD: A symbolic executor of sequential Ada programs. In IFAC SAFECOMP'90 (London, 1990), pp. 105-111.
7. st IEEE International Workshop on Source Code Analysis and Manipulation (Florence, Italy, 2001), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 142-149.
8. DOLADO, J. J., HARMAN, M., OTERO, M. C., AND HU, L. An empirical investigation of the influence of a type of side effects on program comprehension. IEEE Transactions on Software Engineering 29, 7 (2003), 665-670.
9. FUTAMURA, Y., AND NOGI, K. Generalized partial computation. In IFIP TC2 Workshop on Partial Evaluation and Mixed Computation (1987), D. Bjørner, A. P. Ershov, and N. D. Jones, Eds., North-Holland, pp. 133-151.
10. GALLAGHER, K. B., AND LYLE, J. R. Using program slicing in software maintenance. IEEE Transactions on Software Engineering 17, 8 (Aug. 1991), 751-761.
11. HAAHR, P. A programming style for Java, Oct. 1999. http://www.webcom.com/ ~haahr/essays/java-style/.
12. HARMAN, M., BINKLEY, D. W., AND DANICIC, S. Amorphous program slicing. Journal of Systems and Software 68, 1 (Oct. 2003), 45-64.
13. HARMAN, M., HU, L., HIERONS, R. M., WEGENER, J., STHAMER, H., BARESEL, A., AND ROPER, M. Testability transformation. IEEE Transactions on Software Engineering 30, 1 (Jan. 2004), 3-16.
14. HARMAN, M., HU, L., MUNRO, M., ZHANG, X., BINKLEY, D. W., DANICIC, S., DAOUDI, M., AND OUARBYA, L. Syntax-directed amorphous slicing. Journal of Automated Software Engineering 11, 1 (Jan. 2004), 27-61.
15. HORWITZ, S., REPS, T., AND BINKLEY, D. W. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems 12, 1 (1990), 26-61.
16. JACKSON, D., AND ROLLINS, E. J. A new model of program dependences for reverse engineering. In Proceedings of the ACM SIGSOFT '94 Symposium on the Foundations of Software Engineering (Dec. 1994), pp. 2-10.
17. KERNIGHAN, B.W., AND PIKE, R. The practice of programming. Addison-Wesley Longman, Reading, Massachusetts, 1999.
18. KOMONDOOR, R., AND HORWITZ, S. Semantics-preserving procedure extraction. In Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-00) (N.Y., Jan. 19-21 2000), ACM Press, pp. 155-169.
19. KOMONDOOR, R., AND HORWITZ, S. Effective automatic procedure extraction. In 11th IEEE International Workshop on Program Comprehension (Portland, Oregon, USA, May 2003), IEEE Computer Society Press, Los Alamitos, California, USA, p. To appear.
20. KRINKE, J. Evaluating context-sensitive slicing and chopping. In IEEE International Conference on Software Maintenance (ICSM 2002) (Montreal, Canada, Oct. 2002), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 22-31.
21. LAKHOTIA, A., AND DEPREZ, J.-C. Restructuring programs by tucking statements into functions. In Information and Software Technology Special Issue on Program Slicing, M. Harman and K. Gallagher, Eds., vol. 40. Elsevier, 1998, pp. 677-689.
22. MEHLICH, M., AND BAXTER, I. Mechanical tool support for high integrity software development. In High Integrity Systems '97 (1997), IEEE Computer Society Press, Los Alamitos, California, USA.
23. MEYER, B. Object-oriented Software Construction, second ed. Prentice Hall, New York, NY, 1997.
24. PARTSCH, H. A. The Specification and Transformation of Programs: A Formal Approach to Software Development. Springer, 1990.
25. THOMAS, P. Learning to program in C, 2 ed. Plum Hall, Inc., 1989.
26. TIP, F. A survey of program slicing techniques. Journal of Programming Languages 3, 3 (Sept. 1995), 121-189.
27. WARD, M. Proving Program Refinements and Transformations. DPhil Thesis, Oxford University, 1989.
28. WARD, M. Assembler to C migration using the FermaT transformation system. In IEEE International Conference on Software Maintenance (ICSM'99) (Oxford, UK, Aug. 1999), IEEE Computer Society Press, Los Alamitos, California, USA.
29. WARD, M., CALLISS, F. W., AND MUNRO, M. The maintainer's assistant. In Proceedings of the International Conference on Software Maintenance 1989 (1989), IEEE Computer Society Press, Los Alamitos, California, USA, p. 307.
30. WEISER, M. Program slicing. IEEE Transactions on Software Engineering 10, 4 (1984), 352-357.
31. YANG, W., HORWITZ, S., AND REPS, T. A program integration algorithm that accommodates semantics-preserving transformations. ACM Transactions on Software Engineering and Methodology 1, 3 (July 1992), 310-354.