Semantics of Computation

计算语义

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

This is a continuation of studies in denotational semantics and its applications to the design and implementation of programming languages. Areas of study include semantics and type-checking for object-oriented programming systems and the continued study of reflection and semantics-directed compiler generation. The activities at work in OOP include a uniform reference principle, information-hiding, inheritance, and distributed definition. Uniform reference principle, refers to the use of field selection or message- passing as a generic way of retrieving data from composite structures. Information-hiding, refers to the typical way in which the internal structure of an object is protected from the outside world: the "instance variables" of an object are manipulable only through the interface of the "methods". Inheritance refers to the manner in which new classes of objects are created as incremental variations of old ones. Distributed definition refers to the syntactic structure of class definitions in certain object systems, in which the definitions of the methods may be textually distributed through a program or systems.

这是指称语义学及其在编程语言设计和实现中的应用研究的延续。研究领域包括面向对象编程系统的语义和类型检查，以及对反射和语义导向编译器生成的持续研究。在OOP中工作的活动包括统一的引用原则、信息隐藏、继承和分布式定义。统一引用原则，是指使用字段选择或消息传递作为从组合结构中检索数据的通用方法。信息隐藏，指的是保护对象的内部结构不受外部世界影响的典型方式：对象的“实例变量”只能通过“方法”的接口进行操作。继承指的是将对象的新类创建为旧类的增量变体的方式。分布式定义是指某些对象系统中类定义的语法结构，其中方法的定义可以通过程序或系统在文本上分布。