Yong Xiao, Amr Sabry, and Zena M. Ariola. From syntactic theories to interpreters: Automating proofs of unique decomposition. Higher-Order and Symbolic Computation, 14(4):387--409, 2001. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Building Interpreters with Rewriting Strategies - Dolstra, Visser (2002) (2 citations) (Correct)
Building Interpreters with Rewriting Strategies - Dolstra, Visser (2002) (2 citations) (Correct)
Building Interpreters with Rewriting Strategies - Dolstra, Visser (2002) (2 citations) (Correct)
From Reduction-Based to Reduction-Free Normalization - Danvy (2004) (Correct)
Refocusing in Reduction Semantics - Danvy, Nielsen (2004) (1 citation) (Correct)
On Evaluation Contexts, Continuations, and the Rest of Computation - Danvy (Correct)
Plan in Maude: Specifying an Active Network Programming Language - Stehr, Talcott (2002) (3 citations) (Correct)
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