Semantics of Computation

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

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.