Pnueli, A., Siegel, M., and Singerman, E.: Translation validation. Proc. Tools and Algorithms for the Construction and Analysis of Systems. 1998. Springer, LNCS, Vol. 1384. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
A Formal Correctness Proof for Code Generation from SSA Form.. - Blech, Glesner (2004) (Correct)
No context found.
Pnueli, A., Siegel, M., and Singerman, E.: Translation validation. Proc. Tools and Algorithms for the Construction and Analysis of Systems. 1998. Springer, LNCS, Vol. 1384.
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