Author:
Sharma Tushar,Reps Thomas
Publisher
Springer International Publishing
Reference43 articles.
1. Bagnara, R., Hill, P., Zaffanella, E.: Widening operators for powerset domains. STTT 8(4/5), 449–466 (2006)
2. Bagnara, R., Hill, P.M., Zaffanella, E.: The parma polyhedra library: toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Sci. Comput. Program. 72(1–2), 3–21 (2008)
3. Balakrishnan, G., Reps, T.: WYSINWYX: what you see is not what you execute. TOPLAS 32(6), 202–213 (2010)
4. Lecture Notes in Computer Science;D Beyer,2015
5. Bloch, J.: Extra, extra - read all about it: nearly all binary searches and mergesorts are broken.
googleresearch.blogspot.com/2006/06/extra-extra-read-all-
about-it-nearly.html
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献