From syntactic theories to interpreters: Automating the proof of unique decomposition
From MaRDI portal
Publication:1600662
DOI10.1023/A:1014408032446zbMath1051.68101MaRDI QIDQ1600662
Yong Xiao, Amr Sabry, Zena M. Ariola
Publication date: 16 June 2002
Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)
Formal languages and automata (68Q45) Theory of compilers and interpreters (68N20) Grammars and rewriting systems (68Q42)
Related Items (5)
Unnamed Item ⋮ On one-pass CPS transformations ⋮ Ott: Effective tool support for the working semanticist ⋮ From Reduction-Based to Reduction-Free Normalization ⋮ Syntactic Theories in Practice
This page was built for publication: From syntactic theories to interpreters: Automating the proof of unique decomposition
