Author:
Wilhelm Reinhard,Reps Thomas,Sagiv Mooly
Reference43 articles.
1. L.O. Andersen, Program Analysis and Specialization for the C Programming Language, Ph.D. thesis,University of Copenhagen, May 1994. (DIKU report 94/19).
2. R. Bodik, R. Gupta and M. L. Soffa, Complete removal of redundant computations, inProceedings of ACM SIGPLAN '98 Conference on Programming Language Design and Implementation, 1998, pp.1-14, also published as SIGPLAN Notices, 33(5).
3. D.R. Chase, M. Wegman and F. Zadeck, Analysis of pointers and structures, inSIGPLAN Conference on Programming Language Design and Implementation, ACM Press, New York, 1990, pp.296-310.
4. E.M. Clarke and S. Jha, Symmetry and induction in model checking, in Computer Science Today: Recent Trends and Developments, J. Van Leeuwen, Ed. Lecture Notes in Computer Science, Vol.1000, Springer-Verlag, New York, 1995.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. How do programmers use unsafe rust?;Proceedings of the ACM on Programming Languages;2020-11-13
2. A termination analyzer for Java bytecode based on path-length;ACM Transactions on Programming Languages and Systems;2010-03
3. Model-Driven Development with Mechatronic UML;Lecture Notes in Computer Science;2010
4. References;Data Flow Analysis;2009-03-27
5. An Appreciation of the Work of Reinhard Wilhelm;Program Analysis and Compilation, Theory and Practice