Author:
Joyner Mackale,Budimlić Zoran,Sarkar Vivek
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Aggarwal, A., Randall, K.H.: Related field analysis. In: PLDI 2001, pp. 214–220 (2001)
2. Almási, G., Padua, D.: MaJIC: compiling MATLAB for speed and responsiveness. In: PLDI 2002, pp. 294–303 (2002)
3. Alpern, B., Wegman, M.N., Zadeck, F.K.: Detecting equality of variables in programs. In: POPL 1988, pp. 1–11. ACM Press, New York (1988)
4. Lecture Notes in Computer Science;R. Barik,2006
5. Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., Rival, X.: A static analyzer for large safety-critical software. In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI 2003), San Diego, California, USA, June 7-14, pp. 196–207. ACM Press, New York (2003)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Regent;Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis;2015-11-15