Semantics of Computation

计算语义

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

This project will continue research on the semantics of computation. The emphasis during the coming period will be on methods for proving the correctness of compilers. The use of higher-order assembly language rather than combinators as a model of a compiler's target code allows great flexibility in the architecture of the compiler's abstract machine; this flexibility will be used to prove the correctness of a variety of different environment and code representations. A second thread is a continuation of work on strong typing for object-oriented systems; here a variety of issues concerning subtyping and coercion will be studied.

这个项目将继续研究计算的语义学。下一阶段的重点将放在证明编译器正确性的方法上。使用高阶汇编语言而不是组合符作为编译器目标代码的模型允许编译器抽象机的体系结构具有很大的灵活性；这种灵活性将被用来证明各种不同环境和代码表示的正确性。第二个线索是关于面向对象系统的强类型的工作的继续；这里将研究子类型和强制的各种问题。