Semantics-Driven Compiler Synthesis

生成高质量编译器的关键因素是创建 编译器和运行时机器用途：使用的主要数据结构 符号表和主存储器。 早期研究 lambda的单线程和堆栈单线程属性- 演算表达式展示了如何检测、提取和实现这些 数据结构 这项研究的主要部分将是 将单线程技术集成到工作编译器中 合成系统 数据流分析算法在改进静态 语义处理和目标代码生成 将对编译器进行研究。 特别是， 语言的定义应该提供信息， 将定义的语义代数转化为更多的 有效的代表。

A key factor in the generation of quality compilers is creation of the primary data structures that a compiler and run-time machine use: the symbol table and primary storage, respectively. Earlier research on single-threading and stack single-threading properties of lambda- calculus expressions shows how to detect, extract, and implement these data structures. A major portion of this research will be the integration of the single-threading techniques into a working compiler synthesis system. The role of data flow analysis algorithms in improvement of static semantics processing and target code generation in synthesized compilers will be investigated. In particular, flow analysis of a language's definition should yield information that directs transformation of the definition's semantic algebras into more efficient representations.