可执行程序规范的高阶重写
Higher-order Rewriting for Executable Compiler Specifications
摘要：
在本文中，我们概述了如何在所有阶段使用高阶重写来完全指定一个简单的编译器：解析，分析/优化和代码发布，特别是使用crsx.sf.net系统来创建一个小型声明性语言“X”，该语言受到XQuery的启发（我们正在以同样的方式构建一个生产质量的编译器）。
英文摘要：
In this paper we outline how a simple compiler can be completely specified using higher order rewriting in all stages: parsing, analysis/optimization, and code emission, specifically using the crsx.sf.net system for a small declarative language called "X" inspired by XQuery (for which we are building a production quality compiler in the same way).
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
