Export 9 results:
Sort by:
Filters: Author is Landi, William A.  [Clear All Filters]
Ryder, B. G., W. A. Landi, P. Stocks, S. Zhang, and R. Altucher, "A Schema for Interprocedural Modification Side Effects Analysis with Pointer Aliasing", ACM Transactions on Programming Languages and Systems, vol. 23, no. 1, pp. 105-186, March , 2001.
Chatterjee, R., B. G. Ryder, and W. A. Landi, "Complexity of Points-to Analysis of Java in the Presence of Exceptions", IEEE Transactions on Software Engineering, vol. 27, no. 6, pp. 481-512, June , 2001.
Rountev, A., B. G. Ryder, and W. A. Landi, "Data-flow Analysis for Program Fragments", Proceedings of SIGSOFT’99: The Seventh Symposium on the Foundations of Software Engineering (FSE’99), pp. 235-253, Septermber, 1999.
Yur, J. -shiarn, B. G. Ryder, and W. A. Landi, "An Incremental Flow- and Contextsensitive Pointer Aliasing Analysis", Proceedings of the 21st International Conference on Software Engineering, pp. 442-451, May, 1999.
Chatterjee, R., B. G. Ryder, and W. A. Landi, "Relevant Context Inference", Proceedings of the 26th ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages, pp. 133-146, January, 1999.
Stocks, P. A., B. G. Ryder, W. A. Landi, and S. Zhang, "A Comparison of Flowand Context- Sensitivity with respect to the Modification Side Effects Problem", Proceedings of the International Symposium on Software Testing and Analysis, pp. 21-31, March, 1998.
Zhang, S., B. G. Ryder, and W. A. Landi, "Experiments with Combined Analysis for Pointer Aliasing”,", Proceedings of ACM SIGPLAN Workshop on Program Analysis and Software Tools for Engineering, pp. 11-18, June, 1998.
Yur, J. -shiarn, B. G. Ryder, W. A. Landi, and P. Stocks, "Incremental Analysis of Side Effects for C Software Systems", Proceedings of the 19th International Conference of on Software Engineering, pp. 422-432, May, 1997.