Semantics of Computation

计算语义

• 批准号: 9304144
• 负责人: Mitchell Wand
• 金额: --
• 依托单位: Northeastern University
• 依托单位国家: 美国
• 项目类别: Continuing grant
• 财政年份: 1993
• 资助国家: 美国
• 起止时间: 1993-09-01 至 1997-08-28
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9304144&HistoricalAwards=false
• 关键词: Semantics; Computation

This project conducts research in the semantics of computation, with a focus on the development and verification of semantics-based compilers. The goal of the research is to extend semantics-based compiler technology to encompass more of the workings of real compilers, by showing how conventional run-time language structures are formalized as representations of the data manipulated by formal language specifications, and by showing how compiler optimizations are justified by flow analyses. In addition, the project explores issues in type theory, including its relation to flow analysis and questions of complexity in type inference.

本项目研究计算的语义，重点是基于语义的编译器的开发和验证。该研究的目标是扩展基于语义的编译器技术，通过展示传统的运行时语言结构如何形式化为由形式化语言规范操作的数据的表示，以及通过展示如何通过流分析来证明编译器优化是合理的，从而包含更多实际编译器的工作。此外，该项目还探讨了类型理论中的问题，包括它与流分析的关系以及类型推断的复杂性问题。