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.

应在该项目中研究命令式语言的语义基础，以增强对如何利用状态的理解。 本研究将强调局部变量和干扰控制。 将研究局部变量的指示模型，并将探讨区域和参数之间的连接。 此外，将开发控制国家使用方式的类型系统。 这项工作旨在导致编程框架，以支持命令编程的灵活性和效率，以及功能编程的简单性和优雅性。