Nick Benton. Simple relational correctness proofs for static analyses and program transformations. In Proc. POPL, 2004. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Program Logic and Program Analysis - Honda, Yoshida, Berger (Correct)
No context found.
Nick Benton. Simple relational correctness proofs for static analyses and program transformations. In Proc. POPL, 2004.
Imperative Program Optimization by Partial Evaluation - Debois (2004) (1 citation) (Correct)
No context found.
N. Benton. Simple relational correctness proofs for static analyses and program transformations. In Proceedings of the 31st ACM Symposium On Principles of Programming Languages (POPL04), 2004.
Program Logic and Program Analysis - Honda, Yoshida, Berger (Correct)
No context found.
Nick Benton. Simple relational correctness proofs for static analyses and program transformations. In Proc. POPL, 2004.
Translating Dependency into Parametricity - Stephen Tse Steve (Correct)
No context found.
N. Benton. Simple relational correctness proofs for static analyses and program transformations. In Proc. 31st ACM Symp. on Principles of Programming Languages (POPL), pages 14--25. ACM Press, 2004.
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