High-level debugging assistance via optimizing compiler technology

ACM SIGPLAN Notices

Volumn 18, Issue 8, 1983, Pages 152-154

  Ottenstein, Karl J ^a   Ottenstein, Linda M ^a  

^a Michigan Technological University   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976747531     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/1006142.1006181     Document Type: Article

References (12)

1. Allen, F. E. Interprocedural analysis and the information derived by it. Lecture Notes in Comp. Sci. 23. (G. Goos and J. Hartmanis, Eds.) from Programming Methodology, 4th Informatik Symp., IBM Germany, Sept 25-27, 1974. Springer-Verlag (1974) 291-321.
2. Allen, Frances E. and Cocke, John. A catalogue of optimizing transformations, in Design and Optimization of Compilers (Randall Rustin, Ed.) Prentice-Hall (1971) 1-30.
3. Amory, W. and Clapp, J. A software error classification methodology. MRT-2648. VII. The MITRE Corp. (June 1973)
4. Endres, A. Analysis and causes of errors in system programs. (Proc. of the International Conference of Reliable Software) ACM SIGPLAN Notices 10, 6 (June 1975) 327-336.
5. Ferrante, Jeanne and Ottenstein, Karl J. A program form based on data dependency in predicate regions, Conf. Record of the Tenth Ann. ACM Symp. on Princ. of Prog. Lang., Austin, Texas (January 24-26, 1983) 217-236.
6. Fosdic, Lloyd D. and Osterweil, Leon J. Data flow analysis in software reliability. Computing Surveys 8, 3 (Sept. 1976) 305-330.
7. German, Steven M. Automating proofs of the absence of common runtime errors. Conf. Record of the Fifth Ann. ACM Symp. on Princ. of Prog. Lang., Jan. 23-25, 1978, Tucson, AZ (1978) 105-118.
8. Muchnick, Steven, S. and Jones, Neil D. [eds.] Program Flow Analysis : Theory and Applications. Prentice-Hall (1981) 418 pages.
9. Osterweil, Leon. Using data flow tools in software engineering, in Muchnick and Jones, pages 237-263. Suzuki, Norihisa and Ishihata, Kiyoshi. Implementation of an array bound checker. Conf. Record of the Fourth Ann. ACM Symp. on Princ. of Prog. Lang. Jan. 17-19, 1977, Los Angeles, CA (1977) 132-143.
10. Teitelbauin, T., Reps, T. and Howitz, S. The why and wherefore of the Cornell Program Synthesizer. (Proc. of a Symposium on Text Manipulation) ACM SIGPLAN Notices 16, 6 (June 81) 8-16.
11. Thayer, T. A., et. al. Software reliability study (Final technical report) TRW Report 76-2266.1.9-5 (Mar 1976).
12. Tischler, Ron; Schaufler, Robin and Payne, Charlotte. Static analysis of programs as an aid to debugging. This proceedings.