Export 2 results:
Sort by:
Filters: Author is Masticola, Steve  [Clear All Filters]
Masticola, S., T. J. Marlowe, and B. G. Ryder, "Lattice Frameworks for Multi- Source and Bidirectional Data Flow Analysis Problems", ACM Transactions on Programming Languages and Systems, vol. 17, no. 5, pp. 777-803, September, 1995.
Masticola, S., and B. G. Ryder, "Static Infinite Wait Anomaly Detection in Polynomial Time", Proceedings of International Conference on Parallel Processing, August, 1990.