A formal relationship between program slicing and partial evaluation

Formal Aspects of Computing

Volumn 18, Issue 2, 2006, Pages 103-119

  Binkley, David W ^a   Danicic, Sebastian ^b   Harman, Mark ^c   Howroyd, John ^d   Ouarbya, Lahcen ^b  

^a LOYOLA UNIVERSITY MARYLAND   (United States)

^b UNIVERSITY OF LONDON   (United Kingdom)

^c KING'S COLLEGE LONDON   (United Kingdom)

^d UK PLC   (United Kingdom)

Author keywords

Conditioned program slicing; Partial evaluation

Indexed keywords

SOFTWARE ENGINEERING;

PARTIAL EVALUATION; PROGRAM SLICING; RESIDUAL PROGRAMS;

COMPUTATION THEORY;

EID: 57849107164     PISSN: 09345043     EISSN: 1433299X     Source Type: Journal    
DOI: 10.1007/s00165-005-0077-6     Document Type: Article

References (76)

1. Andersen L (1992) Self-applicable C program specialization. In: Proceedings of the 1992 ACM workshop on partial evaluation and semantics-based program manipulation, San Francisco, USA., June 1992. Association for Computing Machinery, pp 54–61
2. Beck J, Eichmann D (1993) Program and interface slicing for reverse engineering. In: Proceedings of the IEEE/ACM 15th conference on software engineering (ICSE’93), IEEE Computer Society Press, Los Alamitos, California, USA, pp 509–518
3. Blazy S, Facon P (1998) Partial evaluation for program comprehension. ACM Comput Surveys 30(3es), Article 17
4. Binkley DW, Gallagher KB (1996) Program slicing. In: Zelkowitz M (ed) Advances in computing, vol. 43, Academic, New York, pp 1–50
5. Binkley DW, Harman M (2004) A survey of empirical results on program slicing. Adv Comput 62:105–178
6. Beckman L, Haraldson A, Oskarsson O, Sandewall E (1976) A partial evaluator, and its use as a programming tool. Artif Intell 7(4):319–357
7. Binkley DW (1997) Semantics guided regression test cost reduction. IEEE Trans Softw Eng 23(8):498–516
8. Binkley DW (1998) The application of program slicing to regression testing. In: Harman M, Gallagher K (eds), Information and software technology special issue on program slicing, vol. 40, Elsevier, USA, pp 583–594
9. Binkley DW (1999) Computing amorphous program slices using dependence graphs and a data-flow model. In: ACM symposium on applied computing, The Menger, San Antonio, Texas, USA, ACM Press, New York, NY, USA, pp 519–525
10. Bieman JM, Ott LM (1994) Measuring functional cohesion. IEEE Trans Softw Eng 20(8):644–657
11. Canfora G, Cimitile A, De Lucia A (1998) Conditioned program slicing. In: Harman M, Gallagher K (eds) Information and software technology special issue on program slicing, vol 40, Elsevier Science B. V., USA, pp 595–607
12. Cimitile A, De Lucia A, Munro M (1996) A specification driven slicing process for identifying reusable functions. Softw Maint: Res Pract 8:145–178
13. Cartwright R, Felleisen M (1989) The semantics of program dependence. In: Proceedings of ACM SIGPLAN conference on programming language design and implementation pp 13–27
14. Consel C, Hornof L, Marlet R, Muller G, Thibault S, Volanschi E-N (1998) Partial evaluation for software engineering. ACM Computing Surveys, 30(3es), September 1998. Article 20
15. Consel C, Hornof L, Marlet R, Muller G, Thibault S, Volanschi E-N (1998) Tempo: specializing systems applications and beyond. ACM Computing Surveys, 30(3es), Article 19
16. Das M (1998) Partial evaluation using dependence graphs. PhD thesis, University of Wisconsin–Madison
17. Danicic S, Daoudi M, Fox C, Harman M, Hierons RM, Howroyd J, Ouarbya L, Ward M (2004) Consus: Alightweight program conditioner. J Syst Softw (accepted)
18. Daoudi M, Danicic S, Howroyd J, Harman M, Fox C, Ouarbya L, Ward M (2002) ConSUS:Ascalable approach to conditioned slicing. In: Proceedings of IEEE working conference on reverse engineering (WCRE 2002), Richmond, Virginia, USA, October 2002. IEEE Computer Society Press, Los Alamitos, California, USA, pp 109–118 (Invited for special issue of the Journal of Systems and Software as best paper from WCRE 2002)
19. Danicic S, De Lucia A, Harman M (2004) Building executable union slices using conditioned slicing. In: Proceedings of the 12th international workshop on program comprehension (IWPC 2004), Bari, Italy, June 2004. IEEE Computer Society Press, Los Alamitos, California, USA, pp 89–97
20. De Lucia A (2001) Program slicing: Methods and applications. In: Procedings of the 1st IEEE international workshop on source code analysis and manipulation, Florence, Italy, 2001. IEEE Computer Society Press, Los Alamitos, California, USA, pp 142–149
21. Danicic S, Fox C, Harman M, Mark Hierons R (2000) Con SIT: A conditioned program slicer. In: Proceedings of the IEEE international conference on software maintenance (ICSM’00), San Jose, California, USA, October 2000. IEEE Computer Society Press, Los Alamitos, California, USA, pp 216–226
22. De Lucia A, Fasolino AR, Munro M (1996) Understanding function behaviours through program slicing. In: Proceedings of the 4th IEEE workshop on program comprehension, Berlin, Germany, March 1996. IEEE Computer Society Press, Los Alamitos, California, USA, pp 9–18
23. Danicic S, Harman M, Howroyd J, Ouarbya L (2004) A lazy semantics for program slicing. In: Proceedings of the 1st. international workshop on programming language interference and dependence, Verona, Italy
24. Dwyer M, Hatcliff J, Nanda M (1998) Using partial evaluation to enable verification of concurrent software. ACM Computing Surveys, 30(3es), September 1998. Article 22
25. Draves S (1998) Partial evaluation for media processing. ACM Computing Surveys, 30(3es), September 1998. Article 21
26. Ershov AP (1978) On the essence of computation. North-Holland, Amsterdam, pp 391–420
27. Fox C, Danicic S, Harman M, Mark Hierons R (2004) ConSIT: a fully automated conditioned program slicer. Softw Pract Exp 34:15–46, (Published online 26th November 2003)
28. Fox C, Harman M, Mark Hierons R, Danicic S (2001) Backward conditioning: a new program specialisation technique and its application to program comprehension. In: Proceedings of the 9th IEEE international workshop on program comprenhesion (IWPC’01), Toronto, Canada, May 2001. IEEE Computer Society Press, Los Alamitos, California, USA, pp 89–97
29. Futamura Y, Nogi K (1987) Generalized partial computation. In: Bjørner D, Ershov AP, Jones ND (eds) IFIP TC2Workshop on partial evaluation and mixed computation, North–Holland, pp 133–151
30. Field J, Ramalingam G, Tip F (1995) Parametric program slicing. In: Proceedings of the 22nd ACMsymposium on principles of programming languages, San Francisco, CA, pp 379–392
31. Futamura Y (1971) Partial evaluation of computation process – an approach to a compiler compiler. Syst Comput Controls 2(5):721–728
32. Futamura Y (1999) Partial evaluation of computation process – an approach to a compiler-compiler. HighOrder Symbolic Comput 12(4):381–391 (Reprinted from Syst · Comput · Controls 2(5), 1971, with a foreword)
33. Futamura Y (1999) Partial evaluation of computation process, revisited. High Order Symbolic Comput 12(4):377–380
34. Gupta R, Jean Harrold M, Lou Soffa M (1992) An approach to regression testing using slicing. In: Proceedings of the IEEE conference on software maintenance, Orlando, Florida, USA, 1992. IEEE Computer Society Press, Los Alamitos, California, USA, pp 299–308
35. Gomard CK, Jones ND (1989) Compiler generation by partial evaluation. In: Ritter GX (ed) Information processing ’89. proceedings of the IFIP 11th World computer congress, IFIP, Amsterdam: North-Holland, pp 1139–1144
36. Gomard CK, Jones ND (1991) Compiler generation by partial evaluation: a case study. Struct Program 12:123–144
37. Gallagher KB, Lyle JR (1991) Using program slicing in software maintenance. IEEE Trans Softw Eng 17(8):751–761
38. Giacobazzi R, Mastroeni I (2003) Non–standard semantics for program slicing. HighOrder Symbolic Comput 16(4):297–339 (Special issue on partial evalution and semantics-based program manipulation)
39. Glück R, Sørensen M (1996) A roadmap to metacomputation by supercompilation. In: Danvy O, Glück R, Thiemann P (eds) Proceedings of the Dagstuhl seminar on partial evaluation, vol 1110, Schloss Dagstuhl, Wadern, Germany, 12–16 February 1996. Springer, Berlin Heidelberg New York, pp 137–160
40. Haraldsson A (1978) A partial evaluator, its use for compiling iterative statements in Lisp. In: Conference record of the 5th annual ACM symposium on principles of Programming Languages, Tucson, Arizona, pp 195–202
41. Harman M, Binkley DW, Danicic S (2003) Amorphous program slicing. J Syst Softw 68(1):45–64
42. Harman M, Danicic S (1995) Using program slicing to simplify testing. Softw Test Verif Rel 5(3):143–162
43. Harman M, Danicic S (1997) Amorphous program slicing. In: Proceedings of the 5th IEEE internationalworkshop on program comprenhesion (IWPC’97), Dearborn, Michigan, USA, May 1997. IEEE Computer Society Press, Los Alamitos, California, USA, pp 70–79
44. Harman M, Hierons RM (2001) An overview of program slicing. Softw Focus 2(3):85–92
45. Hierons RM, Harman M, Danicic S (1999) Using program slicing to assist in the detection of equivalent mutants. Softw Test Verif Rel 9(4):233–262
46. Harman M, Hierons RM, Danicic S, Howroyd J, Fox C (2001) Pre/post conditioned slicing. In: Proceedings of the IEEE international conference on software maintenance (ICSM’01), Florence, Italy, November 2001. IEEE Computer Society Press, Los Alamitos, California, USA, pp 138–147
47. Hierons RM, Harman M, Fox C, Ouarbya L, Daoudi M (2002) Conditioned slicing supports partition testing. Softw Test Verif Rel 12:23–28
48. Harman M, Hu L, Zhang X, Munro M (2001) GUSTT: an amorphous slicing system which combines slicing and transformation. In: Proceedings of the 1st Workshop on Analysis, Slicing, and Transformation (AST 2001), Stuttgart, October 2001. IEEE Computer Society Press, Los Alamitos, California, USA, pp 271–280
49. Horwitz S, Prins J, Reps T (1989) Integrating non–interfering versions of programs. ACMTrans Program Lang Syst 11(3):345–387
50. Horwitz S, Reps T, Binkley DW (1988) Interprocedural slicing using dependence graphs. In: ACM SIGPLAN conference on programming language design and implementation, Atlanta, Georgia, Proc SIGPLAN Notices 23(7):35–46
51. Jones ND, Gomard CK, Sestoft P (1993) Partial evaluation and automatic programgeneration. Prentice-Hall, London, England
52. Jackson D, Rollins EJ (1994) Chopping: A generalisation of slicing. Technical Report CMU-CS-94-169, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, USA
53. Jones ND, Sestoft P, Søndergaard H (1985) An experiment in partial evaluation: The generation of a compiler generator. In: Jouannaud J-P (ed) Rewriting techniques and applications: Dijon, France, vol 202 of Lecture notes in computer science, Springer Berlin Heidelberg New York, pp 124–140
54. Jones ND, Sestoft P, Søndergaard H (1989) Mix: A self-applicable partial evaluator for experiments in compiler generation. Lisp Symbol Comput 2(1):9–50 (DIKU Report 91/12)
55. Kamkar M (1993) Interprocedural dynamic slicing with applications to debugging and testing. PhD Thesis, Department of Computer Science and Information Science, Linköping University, Sweden, Available as Linköping Studies in Science and Technology, Dissertations, Number 297
56. Kleinrubatscher P, Kriegshaber A, Zöchling R, Glück R (1995) Fortran program specialization. SIGPLAN Notices 30(4):61–70
57. Krinke J, Snelting G (1998) Validation of measurement software as an application of slicing and constraint solving. In: Harman M, Gallagher K (eds) Information and software technology special issue on program slicing, vol 40, Elsevier, USA, pp 661–675
58. Lakhotia A (1993) Rule–based approach to computing module cohesion. In: Proceedings of the 15th conference on software engineering (ICSE-15), pp 34–44
59. Lee WK, Chung IS, Yoon GS, Kwon YR (2001) Specification-based program slicing and its applications. J Syst Architect 47:427–443
60. Lakhotia A, Deprez J-C (1998) Restructuring programs by tucking statements into functions. In: Harman M, Gallagher K (eds) Information and software technology special issue on program slicing, vol 40, Elsevier, USA, pp 677–689
61. Liu L, Ellis R (1993) An approach to eliminating COMMON blocks and deriving ADTs from Fortran programs. Technical report, University of Westminster, UK
62. Lyle JR, Weiser M (1987) Automatic program bug location by program slicing. In: Proceedings of the 2nd international conference on computers and applications, Peking, 1987. IEEE Computer Society Press, Los Alamitos, California, USA, pp 877–882
63. Ottenstein KJ, Ottenstein LM (1984) The program dependence graph in software development environments. SIGPLAN Notices 19(5):177–184
64. Ott LM, Thuss JJ Slice based metrics for estimating cohesion. In: Proceedings of the IEEE-CS international metrics symposium, Baltimore, Maryland, USA, May 1993. IEEE Computer Society Press, Los Alamitos, California, USA, pp 71–81
65. Ouarbya L (2005) Alazy semantics for programslicing. PhDThesis, Department of Computing, Goldsmiths College, University of London (To appear)
66. Reps T, Turnidge T (1996) Program specialization via program slicing. In: DanvyO, Glück R, Thiemann P (eds) In: Proceedings of the Dagstuhl seminar on partial evaluation, vol 1110 Schloss Dagstuhl,Wadern, Germany, Springer, Berlin Heidelberg New York, NY, pp 409–429
67. Sørensen MH, Glück R, Jones ND (1994) Towards unifying partial evaluation, deforestation, supercompilation, and GPC. In: Sannella D (ed) Programming languages and systems—ESOP’94, 5th European symposium on programming, vol 788 of Lecture notes in computer science, Edinburgh, U.K, Springer, Berlin Heidelberg New York, pp 485–500
68. Shahmehri N (1991) Generalized algorithmic debugging. PhD Thesis, Department of Computer Science and Information Science, Linköping University, Sweden. Available as Linköping Studies in Science and Technology, Dissertations, Number 260
69. Stefanescu DC (1975) The definition of a LISP compiler using partial evaluation. Report, M.I.T., Department of EE & CS, Cambridge, Massachusetts, July 1975. BS Thesis
70. Simpson D, Valentine SH, Mitchell R, Liu L, Ellis R (1993) Recoup –Maintaining Fortran. ACMFortran forum 12(3):26–32
71. Tip F (1995) A survey of program slicing techniques. J Program Lang 3(3):121–189
72. Ward M (1999) Assembler to C migration using the FermaT transformation system. In: Proceediongs of IEEE international conference on software maintenance (ICSM’99), Oxford, UK, IEEE Computer Society Press, Los Alamitos, California, USA
73. Ward M (2002) Program slicing via FermaT transformations. In: Proceedings of the 26th IEEE annual computer software and applications conference (COMPSAC 2002), Oxford, UK, August 2002. IEEE Computer Society Press, Los Alamitos, California, USA, pp 357–362
74. Ward M (2003) Slicing the SCAM mug: A case study in semantic slicing. In: Proceedings of the IEEE international workshop on source code analysis and manipulation (SCAM 2003), Amsterdam, Netherlands, September 2003. IEEE Computer Society Press, Los Alamitos, California, USA, pp 88–97
75. Weiser M (1979) Program slices: formal, psychological, and practical investigations of an automatic program abstraction method. PhD thesis, University of Michigan, Ann Arbor, MI, USA
76. Weiser M (1982) Programmers use slicing when debugging. Commun ACM 25(7):446–452