Interprocedural slicing of computer programs using dependence gr

Details Interprocedural slicing of computer programs using dependence gr Interprocedural slicing of computer programs using dependence gr

1989-03-08

1992-11-03

Lee, Thomas C.

Boots, shoes, and leggings

3642804, 3642805, 3642624, 364280, 364DIG1, 395650, G06F 945

Patent

active

051612160

ABSTRACT:
Programs having multiple procedures are analyzed by creating a syst

REFERENCES:
patent: 3710348 (1973-01-01), Craft
patent: 4502118 (1985-02-01), Hagenmaier
patent: 4654780 (1987-03-01), Logsdon
patent: 4734848 (1988-03-01), Yamano
patent: 4734854 (1988-03-01), Afshar
Ferrante et al., "The Program Dependence Graph and Its Use in Optimization", ACM Transactions on Programming Languages and Systems, vol. 9, No. 3, Jul. 1987.
Kastens, "Ordered Attributed Grammers", Acta Informatica, vol. 13, No. 3 1980 pp. 229-256.
Banning, "An Efficient Way to Find the Side Effect of Procedure Calls and the Alies of Variables," Conference Record of the Sixth ACM Symposium on Principles of Programming Languages, San Antonio, Texas, Jan. 29-31, 1979, pp. 29-41.
Cooper, et al., "Interprocedural Side Effect Analysis in Linear Time," Proceedings of the ADM SIGPLAN 88 Conference on Programming Language Design and Implementation, Atlanta, Georgia, Jun. 22-24, 1988, pp. 27-66.
Ferrante et al., "The Program Dependence Graph and Its Use in Optimization," ACM Transactions on Programming Languages and Systems, vol. 9, No. 3, Jul. 1987, pp. 319-349.
Horowitz, et al., "Intergrated Non-Interfering Versions of Programs," Computer Sciences Technical Report No. 690, Computer Sciences Department, University of Wisconsin, Madison, Wisconsin, Mar. 1987.
Horowitz, et al., "Integrated Non-Interfering Versions of Programs," Conference Record of the 15th ACM Symposium of Principles of Programming Languages, San Diego, California, Jan. 13-15, 1988, pp. 133-145.
Hwang, et al., "Finding Program Slices for Recursive Procedures," Proceedings of the IEEE COMPSAC 88, Chicago, Illinois, Oct. 3-7, 1988.
Kastens, "Ordered Atributed Grammers," Acta Informatica, vol. 13, No. 3, 1980, pp. 229-256.
Kuck, et al., "Dependence Graphs and Compiler Optimizations," Conference Record of the 8th ACM Symposium on Principles of Programming Languages, Williamsburg, Virginia, Jan. 26-28, 1981, pp. 207-218.
Ottenstein, et al., "The Program Dependence Graph in a Software Development Environments", Pittsburg, Pennsylvania, Apr. 23-25, 1984, ADCM SIGPLAN Notices, vol. 19, No. 5, May 1984, pp. 177-184.
Reps, et al., "The Semantics of Program Slicing," Computer Sciences Technical Report No. 177, Computer Sciences Department, University of Wisconsin, Madison Wisconsin, Jun. 1988.
Weiser, "Program Slicing," IEEE Transactions on Software Engineering, vol. SE-10, No. 4, Jul. 1984, pp. 352-357.
Horwitz, et al., "Interprocedural Slicing Using Dependence Graphs," Computer Sciences Technical Report #756, University of Wisconsin-Madison, Mar., 1988.
Horwitz, et al., "Interprocedural Slicing Using Dependence Graphs," Proc. of the SIGPLAN '88 Conf. on Programming Language Design and Implementation, Atlanta, Georgia, Jun. 22-24, 1988.
Reps, et al., "Semantics, Based Program Integration," Proc. of the 2nd European Symposium on Programming (ESOP '88), Nancy, France, Mar. 21-24, 1988, also Lecture Notes in Computer Science, vol. 300, pp. 1-20.
Reps, "Demonstration of a Prototype Tool for Program Integration," Computer Sciences Technical Report #819, University of Wisconsin-Madison, Jan., 1989.
Exhibit A: 23 pages constituting copies of slides.
Exhibit B: 3 pages listing attendees at Industrial Affiliates Meeting dated Dec. 1-2, 1987.

Affiliated with

Also associated with

Rating

Interprocedural slicing of computer programs using dependence gr does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Interprocedural slicing of computer programs using dependence gr, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Interprocedural slicing of computer programs using dependence gr will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2056598