S. Gulwani and G. Necula. Discovering ane equalities using random interpretation. In 30th Ann. ACM Symp. on Principles of Programming Languages (POPL), pages 74-84, 2003. 14 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Interprocedural Analysis (Almost) for Free - Müller-Olm, Seidl, Steffen (Correct)
No context found.
S. Gulwani and G. Necula. Discovering ane equalities using random interpretation. In 30th Ann. ACM Symp. on Principles of Programming Languages (POPL), pages 74-84, 2003. 14
Interprocedural Analysis of Modular Arithmetic - Müller-Olm, Seidl (Correct)
No context found.
S. Gulwani and G. Necula. Discovering Ane Equalities Using Random Interpretation. In Proceedings 30th POPL, pages 74-84, 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC