首页>
外文OA文献
>Objects as closures: Abstract semantics of object oriented languages
【2h】
Objects as closures: Abstract semantics of object oriented languages
展开▼
机译:对象作为闭包:面向对象语言的抽象语义
展开▼
免费
页面导航
摘要
著录项
相似文献
相关主题
摘要
We discuss denotational semantics of object-oriented languages, using the concept of closure widely used in (semi) functional programming to encapsulate side effects. It is shown that this denotational framework is adequate to explain classes, instantiation, and inheritance in the style of Simula as well as SMALLTALK-80. This framework is then compared with that of Kamin, in his recent denotational definition of SMALLTALK-80, and the implications of the differences between the two approaches are discussed.
展开▼