Author:
Yong Suan Hsi,Horwitz Susan
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Balakrishnan, G., Reps, T.: Analyzing memory accesses in x86 executables. In: International Conference on Compiler Construction, Barcelona, Spain (March 2004)
2. Blume, W., Eigenmann, R.: Demand-driven, symbolic range propagation. In: 8th International workshop on Languages and Compilers for Parallel Computing, pp. 141–160, Columbus, OH (August 1995)
3. Bodik, R., Gupta, R., Sarkar, V.: ABCD: Eliminating array bounds checks on demand. In: ACM SIGPLAN Conference on Programming Language Design and Implementation, Vancouver, BC, June 2000, pp. 321–333 (2000)
4. Carlisle, M.C., Rogers, A.: Software caching and computation migration in Olden. Technical Report TR-483-95, Princeton University (1995)
5. Cousot, P., Cousot, R.: Static determination of dynamic properties of programs. In: ACM Symposium on Principles of Programming Languages, April 1976, pp. 106–130 (1976)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献