Program slicing

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1981, Pages 439-449

  Weiser, Mark ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

Data flow analysis; Debugging; Human factors; Program maintenance; Program metrics; Software tools

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER DEBUGGING; DATA FLOW ANALYSIS; HUMAN ENGINEERING; SOFTWARE ENGINEERING; COMPUTER PROGRAMMING - SUBROUTINES;

COMPUTER PROGRAMMERS; DATAFLOW; EXPERIMENTAL EVIDENCE; PROGRAM COMPLEXITY; PROGRAM MAINTENANCES; PROGRAM METRICS; PROGRAM SLICING;

PROGRAM DEBUGGING; COMPUTER PROGRAMMING LANGUAGES;

EID: 85050273691     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (32)

1. Keterences J. Aho, A. V., Ullman, J. D. 1977 Principles of Compiler Design. Addison-Wesley, 1977.
2. Arsac, J. J. 197y Syntactic Source to Source Trans-formaHs and Program Manipulation. CACM 22, 1 (Jan. 1979) pp. 43-53.
3. Ashcroft and Manna 1973 The Translation of GOTO Programs into WHILE programs. Information Processing 71, North Holland Pub. Co. Amsterdam, pp. 250-255.
4. Aygun, B. O. 1973 Dynamic analysis of execution: Possibilities, techniques, problems. PhD thesis, Carnegie-Mellon University Sept. 1973.
5. Baker, B. 1977 An Algorithm for Structuring Flow-graphs. JACM 24, 1 (Jan. 1977) pp. 98-120.
6. Barth, J. M. 1978 A Practical Interprocedural Dataflow Analysis Algorithm. CACM 21, 9 (Sept. 1978) pp. 724-736.
7. Basili, V. R. 1976 The design and implementation of a family of application-oriented languages. Fifth Texas Conference on Computing Systems, pp. 6-12.
8. Browne, J. C., Johnson, D. B. 1978 FAST: A second generation program analysis system. Third int'l confer ence on software engineering. IEEE catalog no. 78CH1317-7C. May 1978. pp. 142-148.
9. Denning, D. E., Denning, P. J. 1977 Certification of programs for secure information flow. CACM 20, 7 (July 1977) pp. 504-513.
10. Fosdick. L. D., Osterweil, L. J. 1976 Data Flow Analysis in Software Reliability. ACM Computing Surveys 8, 3 (Sept. 1976) pp. 305-330.
11. Gannon, J. D., Rosenberg, J. 1979 Implementing data abstraction features in a stack-based language. Software-Practice and Experience, Vol. 9, pp. 547-560.
12. Gerhart, S. 1975 Correctness Preserving Program Trans formations. Second Conference on the Principles of Programming Languages. ACM (Jan. 1975) pp. 54-66.
13. Gould, J. D., Drongowski, P. 1974 An Exploratory Study of Computer Pro gram Debugging. Human Factors 1, 6. pp. 258-277.
14. Graham, S. L., Wegman, M. 1976 A fast and usually linear algorithm for global flow analysis. JACM 23, 1. January 1976, pp. 172-202.
15. Hal stead, M. 1977 Elements of Software Science. Elsevier Computer Science Library. 1977.
16. Hecht, M. S. 1977 Flow Analysis of Computer Programs. North-Holland (1977).
17. IBM 1968 Scientific Subroutine Package (PL/I). 360-ACM-07X. Program Description and Operations Manual. Form 6H20-0586-0.
18. Lengauer, T., Tarjan, R. E. 1979 A fast algorithm for finding dominators in a flowgraph. ACM T. on Prog. Lan., Systems, Vol 1, no. 1 July 1979, pp. 121-141.
19. Liskov, B. H., Zilles, S. N. 1975 Specification techniques for data ab stractions. IEEE Trans of Software Engineering. March 1975.
20. Loveman, D. B. 1977 Program Improvement by Source to Source Transformation. JACM 24, 1 (Jan. 1977) pp. 121-145.
21. Luckham, D. C., Suzuki, N. 1979 Verification of array, record, pointer operations in Pascal. ACM T. on Prog. Lan., Systems, Vol. 1, no. 2 Oct. 1979, pp. 226-244.
22. McCabe, Thomas J. 1976 A Complexity Measure. IEEE Transactions on Software Engineering. SE-2
23. Parnas, D. L. 1972 On the criteria used in decomposing systems into modules. CACM 15, 12 (Dec. 1972) pp. 1053-1058.
24. Schwartz, J. T. 1971 An overview of bugs, in Debugging techniques in large systems. Rustin, . Randall, ed. Prentice-Hall.
25. Shneiderman, B. 1976a Exploratory Experiments in Programmer Behavior. International J. of Com-puter and Information Sciences, 5, 2.
26. Stay, J. F. 1976 HIPO and integrated program design. IBM systems journal.
27. Tarjan, R. E., Valdes, J. 1980 Prime subprogram parsing of a program. Seventh annual ACM symposium on the principles of programming languages. Jan. 1980, pp. 95-105.
28. U. S. D. O. D. 1979 Preliminary Ada reference manual and rationale. Sigplan notices 14, 6. Wegbreit, Ben 1976 Goal-directed program transformation IEEE Transactions on Software Engineering. Vol SE-2, 2 (June 1976) pp. 69-80.
29. Weihl, W. E. 1980 Interprocedural data flow analysis in the presence of pointers, procedure variables and label variables. Seventt ACM Symposium on the Principles of Programming Languages pp. 83-94.
30. Weiser M. D, 1979 Program Slices: Foraml Psychological, Practical Investigations of an Automatic Program Abstraction Method. Ph, D., Thesis, Computer and Communica tion Sciences Dept., University of Michigan.
31. Weiser, M. D. 1980 Color dominance: A new graph coloring program with applications to computer program optimization. In preparation.
32. Zelkowitz, M. W., Shaw, A. C., Gannon, J. D. 1979 Principles of software engineering and design. Prentice-Hall.