Parametricity, Abstraction and Objects

参数化、抽象和对象

• 批准号: 9804087
• 负责人: Samuel Kamin
• 金额: $ 15.5万
• 依托单位: University of Illinois at Urbana-Champaign
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1998
• 资助国家: 美国
• 起止时间: 1998-07-15 至 2001-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9804087&HistoricalAwards=false
• 关键词: Parametricity; Abstraction; Objects

9804087 Data abstraction is of central concern in program design while ``parametricity'' is a mathematical formalization of this concept. Using parametricity, one can argue that two program modules that export types and operations are equivalent as long as the behavior observable by client programs is the same. In this project, Prof. Uday Reddy addresses key issues of parametricity theory in joint research with Prof. Peter O'Hearn at Queen Mary and Westfield, London. The issues addressed include finding an abstract framework for parametricity that encompasses various programming language phenomena and their mathematical models, integrating parametricity with subtyping type systems, and the application of these results for modeling object-oriented programming with mutable state. The research spans theoretical and practical issues, ranging from abstract categorical frameworks to type systems and practical reasoning principles. The issues addressed are of vital importance for integrating parametricity with the vast body of programming theory developed over the years. Prof. O'Hearn's expertise in parametricity theory will complement Reddy's work in the study of data abstraction aspects of local variables. This collaboration enhances their research effectiveness in addressing issues of mutual interest.***

9804087数据抽象是程序设计中的核心问题，而“参数化”是这个概念的数学形式化。使用参数性，可以认为只要客户端程序可观察到的行为相同，导出类型和操作的两个程序模块就是等效的。在这个项目中，Uday Reddy教授与玛丽皇后和韦斯特菲尔德，伦敦的Peter O'Hearn教授联合研究参数化理论的关键问题。所解决的问题包括找到一个抽象的框架参数，包括各种编程语言的现象和它们的数学模型，集成参数与子类型类型系统，和应用这些结果建模面向对象的编程与可变状态。该研究涵盖了理论和实践问题，从抽象的范畴框架到类型系统和实用的推理原则。所解决的问题对于将参数化与多年来发展的大量编程理论相结合至关重要。奥赫恩教授在参数化理论方面的专业知识将补充雷迪在局部变量的数据抽象方面的研究工作。这种合作提高了他们在解决共同感兴趣的问题方面的研究效率。