Action Semantics and Partial Evaluation

该奖项支持从动作语义定义中提取属性以及通过部分求值改进程序的研究。这两个领域的结果将结合成一种基于自动分段语义定义的编译器构造方法。这种方法最终将作为编程语言设计和分析工作台的一部分实现。”从动作语义中提取属性建立在先前对用动作语义符号编码的程序的模型和类型推断的研究之上。将扩展类型推断算法，以便可以对每个si的语言定义进行分析，以引出关于块结构和强类型的关键属性。这些信息对于自动构建正确和高效的编译器至关重要。部分评价的研究集中在基于对程序输入的性质（例如，其类型）的部分知识的有效程序改进上。将部分求值应用于由解释器定义生成的编译器是卓有成效的。要扩展这项工作，以便将解释性规范的“分期”形式化并自动化为静态语义处理器和动态语义处理器。

This award supports research in extracting properties from action semantics definitions and in improving programs by partial evaluation. Results from the two areas will be combined into a methodology for compiler construction based on staging semantic definitions automatically. Such a methodology will ultimately be implemented as a part of a programming language design and analysis workbench." Property extraction from action semantics builds on earlier research on models and type inference for programs coded in action semantics notation. Type inference algorithms will be extended so that analysis can be undertaken on language definitions per si to elicit key properties regarding block-structuredess and strong typing. Such information is crucial to the automated construction of correct and efficient compilers. Research on partial evaluation has centered on effective program improvement based on partial knowledge of the nature of a program's input, for example, its type. Application of partial evaluation to compiler generation from interpreter definitions has proved fruitful. The work is to be extended so that it formalizes and automates the "staging" of and interpretive specification into a static semantics processor and a dynamic semantics processor.