Semantics and Types for Imperative Languages

命令式语言的语义和类型

• 批准号: 9210829
• 负责人: Peter O'Hearn
• 金额: $ 9万
• 依托单位: Syracuse University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1992
• 资助国家: 美国
• 起止时间: 1992-06-01 至 1995-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9210829&HistoricalAwards=false
• 关键词: Semantics; Types; Imperative; Languages

The semantic foundations of imperative languages shall be studied in this project with the aim of sharpening the understanding of how state can be utilized. Local variables and interference control will be emphasized in this study. Denotational models for local variables will be investigated and the connections between locality and parametricity will be explored. In addition, type systems which control the manner in which the state is utilized will be developed. This work is intended to lead toward programming frameworks which support the flexibility and efficiency of imperative programming and the simplicity and elegance of functional programming as well.

本项目将研究命令式语言的语义基础，目的是加深对如何利用状态的理解。 本研究将强调局部变量和干扰控制。 将研究局部变量的指称模型，并探讨局部性和参数性之间的联系。 此外，还将开发控制状态使用方式的类型系统。 这项工作旨在构建支持命令式编程的灵活性和效率以及函数式编程的简单性和优雅性的编程框架。