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.