Computing amorphous program slices using dependence graphs

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Computing amorphous program slices using dependence graphs

Full text

Pdf (646 KB)

Source

Symposium on Applied Computing archive
Proceedings of the 1999 ACM symposium on Applied computing table of contents

San Antonio, Texas, United States

Pages: 519 - 525

Year of Publication: 1999

ISBN:1-58113-086-4

Author

David Binkley

Loyola College in Maryland, Computer Science Department, 4501 North Charles Street, Baltimore, MD

Sponsors

SIGADA: ACM Special Interest Group on Ada Programming Language
SIGCUE: ACM Special Interest Group on Computer Uses In Education
SIGAPP: ACM Special Interest Group on Applied Computing
SIGBIO: ACM Special Interest Group on Biomedical Computing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 13, Citation Count: 5

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/298151.298432 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Binkley, D., Horwitz, 8, and Reps, T., 'The multi-procedure equivalence theorem." TR-890, Computer Sciences Department, University of Wisconsin, Madison, WI (November 1989).
	2	David Binkley, Precise executable interprocedural slices, ACM Letters on Programming Languages and Systems (LOPLAS), v.2 n.1-4, p.31-45, March–Dec. 1993 [doi>10.1145/176454.176473]
	3	David Binkley, Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model, Proceedings of the 5th International Conference on Compiler Construction, p.374-388, April 07-09, 1994
	4	Binkley, D. and Gallagher. K., "Program slicing," Annals of Computing, (1996).
	5	Jong-Deok Choi , Jeanne Ferrante, Static slicing in the presence of goto statements, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.4, p.1097-1113, July 1994 [doi>10.1145/183432.183438]
	6	Jeanne Ferrante , Karl J. Ottenstein , Joe D. Warren, The program dependence graph and its use in optimization, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.3, p.319-349, July 1987 [doi>10.1145/24039.24041]
	7	Harman. M. and Danicic, S., "Using program slicing to simplify testing," Journal of Sofware Testing, Vertjkation, and Reliability 5 pp. 143-162 John Wiley & Sons Ltd. ( 1995).
	8	Mark Harman , Sebastian Danicic, Amorphous Program Slicing, Proceedings of the 5th International Workshop on Program Comprehension (WPC '97), p.70, May 28-30, 1997
	9	Mark Harman , Yoga Sivagurunathan , Sebastian Danicic, Analysis of Dynamic Memory Access using Amorphous Slicing, Proceedings of the International Conference on Software Maintenance, p.336, March 16-19, 1998
	10	Susan Horwitz , Jan Prins , Thomas Reps, Integrating noninterfering versions of programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.11 n.3, p.345-387, July 1989 [doi>10.1145/65979.65980]
	11	Susan Horwitz , Thomas Reps , David Binkley, Interprocedural slicing using dependence graphs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.12 n.1, p.26-60, Jan. 1990 [doi>10.1145/77606.77608]
	12	Thomas Reps , Susan Horwitz , Mooly Sagiv , Genevieve Rosay, Speeding up slicing, Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering, p.11-20, December 06-09, 1994, New Orleans, Louisiana, United States
	13	R. Parsons-Selke, A rewriting semantics for program dependence graphs, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.12-24, January 11-13, 1989, Austin, Texas, United States [doi>10.1145/75277.75279]
	14	Tip, F., "A survey of program slicing techniques," Journal of Programming Languages 3(3) pp. 121-189 (September 1995).
	15	Weiser, M., "Program slicing," IEEE Transactions on SofItvare Engineering SElO(4) pp. 352-357 (July 1984).

CITED BY 5

	Mark Harman , Lin Hu , Rob Hierons , Joachim Wegener , Harmen Sthamer , André Baresel , Marc Roper, Testability Transformation, IEEE Transactions on Software Engineering, v.30 n.1, p.3-16, January 2004
	Sebastian Danicic , Mark Harman, Espresso: a slicer generator, Proceedings of the 2000 ACM symposium on Applied computing, p.831-839, March 2000, Como, Italy
	Mark Harman , David Binkley , Sebastian Danicic, Amorphous program slicing, Journal of Systems and Software, v.68 n.1, p.45-64, 15 October 2003
	Baowen Xu , Ju Qian , Xiaofang Zhang , Zhongqiang Wu , Lin Chen, A brief survey of program slicing, ACM SIGSOFT Software Engineering Notes, v.30 n.2, March 2005
	Mark Harman , Lin Hu , Malcolm Munro , Xingyuan Zhang , Dave Binkley , Sebastian Danicic , Mohammed Daoudi , Lahcen Ouarbya, Syntax-Directed Amorphous Slicing, Automated Software Engineering, v.11 n.1, p.27-61, January 2004