Deductive Systems and Optimizing Compilers for Higher-Order Languages

高阶语言的演绎系统和优化编译器

• 批准号: 9900918
• 负责人: John Hannan
• 金额: $ 15.99万
• 依托单位: Pennsylvania State Univ University Park
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1999
• 资助国家: 美国
• 起止时间: 1999-08-15 至 2001-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9900918&HistoricalAwards=false
• 关键词: Deductive; Systems; Optimizing; Compilers; Higher

9900918 Hannan, John J.This research studies the formal specification, analysis, and implementation of type-based deductive systems and algorithms for optimizing compilers of higher-order languages. Type theory and deductive systems are important tools used in the design and specification of programming languages, but these tools have not been extensively used in the design and implementation of optimizing compilers for languages. Instead, control-flow analyses have provided the primary basis for many optimizations in compiler for higher-order languages. This research seeks to advance the state of compiler optimizations based on types and deductive systems, complementing the work on control-flow analyses. Specific activities include: (1) developing new, type-based deductive systems specifying new and existing compiler optimizations/translations; (2) developing a general theory of deductive systems and related algorithms for compiler optimizations, and a prototype implementation based on this theory; and (3) constructing an experimental implementation of an optimizing compiler based on using these results. Together, these objectives serve to advance the state of higher-order language implementations by studying the theoretical and practical application of type-based optimizations on these languages, complementing existing technologies.

9900918 Hannan，John J.这项研究研究了基于类型的演绎系统和算法的形式规范、分析和实现，以优化高阶语言的编译器。类型理论和演绎系统是程序设计语言设计和规范中使用的重要工具，但这些工具在语言优化编译器的设计和实现中还没有被广泛使用。相反，控制流分析为高阶语言的编译器中的许多优化提供了主要基础。这项研究旨在推进基于类型和演绎系统的编译器优化状态，补充控制流分析方面的工作。具体活动包括：(1)开发新的、基于类型的演绎系统，指定新的和现有的编译器优化/翻译；(2)开发演绎系统的一般理论和用于编译器优化的相关算法，以及基于该理论的原型实现；以及(3)基于这些结果构建优化编译器的实验实现。总而言之，这些目标通过研究基于类型的优化在这些语言上的理论和实际应用，补充现有的技术，来推动高阶语言实现的状态。