h：高阶属性压缩格式的一个模板
h: A Plank for Higher-order Attribute Contraction Schemes
摘要：
我们提出并形式化h，一个核心（或“木板”）演算，可以作为基础的几个编译器规约语言，特别是CRSX（组合约简系统与扩展），HACS（高阶属性收缩方案），和transScript。我们讨论了h类型和形成规则如何引入必要的限制，以确保重写是定义良好的，即使在h的强大的扩展操作自由变量和环境作为第一类元素（包括在模式匹配）的存在。
英文摘要：
We present and formalize h, a core (or "plank") calculus that can serve as the foundation for several compiler specification languages, notably CRSX (Combinatory Reductions Systems with eXtensions), HACS (Higher-order Attribute Contraction Schemes), and TransScript. We discuss how the h typing and formation rules introduce the necessary restrictions to ensure that rewriting is well-defined, even in the presence of h's powerful extensions for manipulating free variables and environments as first class elements (including in pattern matching).
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
