A Position Paper on Compile-time Program Analysis

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 32, Issue 1, 1997, Pages 110-114

  Ryder, Barbara G ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0005336275     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/251595.251615     Document Type: Article

References (28)

1. AHO, A. V., SETHI, R., AND ULLMAN, J. D. 1986. Compilers: Principles, Techniques, and Tools. Addison-Wesley.
2. ALLEN, F. E., BURKE, M., CHARLES, P., CYTRON, R., AND FERRANTE, J. 1988. An overview of the ptran analysis system for multiprocessing. Journal of Parallel and Distributed Computing 5, 617-640.
3. BURKE, M., CARINI, P., CHOI, J.-D., AND HIND, M. 1994. Flow-insensitive interprocedural alias analysis presence of pointers. In Proceedings of the 7th International Workshop on Languages and Compilers for Parallel Costing (Aug. 1994), pp. 234-250. Springer-Verlag.
4. BURKE, M. AND RYDER, B. G. 1990. A critical analysis of incremental iterative data flow analysis algorithms. IEEE Transactions on Software Engineering 16, 7 (July).
5. ++ programs. In Proceedings of the ACM SIGACT/SIGPLAN Symposium on the Principles of Programming Languages (January 1994), pp. 397-408.
6. CALLAHAN, D., COOPER, K., KENNEDY, K., TORCZON, L., AND HOOD, R. 1988. Parascope: A parallel programming environment. International Journal of Supercomputing 2, 4 (December).
7. CHOI, J.-D., BURKE, M., AND CARINI, P. 1993. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects. In Proceedings of the ACM SIGACT/SIGPLAN Symposium on the Principles of Programming Languages (January 1993), pp. 232-245.
8. COUSOT, P. AND COUSOT, R. 1977. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixed points. In Proceedings of the ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages (January 1977), pp. 238-252.
9. DEAN, J., CHAMBERS, C., AND GROVE, D. 1995. Selective specialization for object-oriented languages. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (June 1995), pp. 93-102.
10. HORWITZ, S., REPS, T., AND BINKLEY, D. 1990. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems 12, 1 (January).
11. HUTCHINS, M., FOSTER, H., GORADIA, T., AND OSTRAND, T. 1994. Experiments on the effectiveness of dataflow- and controlflow-based test adequacy criteria. In Proceedings of the Sixteenth International Conference on Software Engineering (1994).
12. LANDI, W. AND RYDER, B. G. 1992. A safe approximation algorithm for interprocedural pointer aliasing. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (June 1992), pp. 235-248.
13. LEE, Y. AND RYDER, B. G. 1994. Effectively exploiting parallelism in data flow analysis. The Journal of Supercomputing 8, 233-262.
14. LEE, Y., RYDER, B. G., AND FIUCZYNSKI, M. E. 1995. Region analysis: A parallel elimination method for data flow analysis. IEEE Transactions on Software Engineering SE-21, 11, 913-926.
15. MARLOWE, T. J., LANDI, W. A., RYDER, B. G., CHOI, J., BURKE, M., AND CARINI, P. 1993. Pointer-induced aliasing: A clarification. ACM SIGPLAN Notices 28, 9 (September), 67-70.
16. MARLOWE, T. J. AND RYDER, B. G. 1990. Properties of data flow frameworks: a unified model. Acta Informatica 28, 121-163.
17. MARLOWE, T. J., RYDER, B. G., AND BURKE, M. 1995. Defining flow sensitivity for data flow problems. Technical Report LCSR-TR-249 (July), Laboratory for Computer Science Research, Rutgers University.
18. OSTRAND, T. J. AND WEYUKER, E. 1991. Data flow based test adequecy analysis for languages with pointers. In Proceedings of the 1991 Symposium on Software Testing, Analysis and Verification (TAV4) (October 1991). Victoria, B.C., Canada.
19. POLYCHRONOPOLOUS, C. D. 1988. Parallel Programming and Compilers. Kluwer Academic Publishers.
20. RAPPS, S. AND WEYUKER, E. 1985. Selecting software test data using data flow information. IEEE Transactions on Software Engineering SE-11, 4 (April), 367-375.
21. RYDER, B. G. 1989. Ismm: Incremental software maintenance manager. In Proceedings of the IEEE Computer Society Conference on Software Maintenance (October 1989), pp. 142-164.
22. RYDER, B. G., LANDI, W., AND PANDE, H. 1990. Profiling an incremental data flow analysis algorithm. IEEE Transactions on Software Engineering 16, 2 (February), 129-140.
23. RYDER, B. G. AND PAULL, M. C. 1986. Elimination algorithms for data flow analysis. ACM Computing Surveys 18, 3 (September), 277-316.
24. STEENSGAARD, B. 1996. Points-to-analysis in almost linear time. In Proceedings of the ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages (1996), pp. 32-41.
25. VENKATESH, G. A. 1991. The semantic approach to program slicing. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (June 1991), pp. 107-119.
26. WEISER, M. 1984. Program slicing. IEEE Transactions on Software Engineering SE-10, 4 (July), 352-357.
27. WOLFE, M. 1989. Optimizing Supercompilers for Supercomputers. The MIT Press, Cambridge, MA.
28. ZHANG, S., RYDER, B. G., AND LANDI, W. 1996. Program decomposition for pointer aliasing: A step towards practical analyses. In Proceedings of the 4th Symposium on the Foundations of Software Engineering (October 1996).