paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Towards Concise Binding Semantics of Late-Bound OOP Systems

迈向晚绑定面向对象系统的简洁绑定语义
OOPSLA 10(OOPSLA2)2026匹配度 2/10 · 该论文研究 Smalltalk 与 Self 方法绑定语义的形式化刻画,属于编程语言形式语义与语言设计,与用户关注的静态分析、LLM/Agent、浮点程序分析和贝叶斯程序分析等核心方向没有直接交集。虽然涉及形式化方法,但未结合 LLM/Agent,也未面向程序分析或验证工具。引用 0 inbox
Joel Jakubovic
crossref: 2026-10-02

AI 速览

一句话:用 Id 对象模型统一刻画 Smalltalk 与 Self 的方法绑定语义,并将二者视为不同特例。

Smalltalk 和 Self 分别是基于类和基于原型的晚绑定面向对象编程的典型代表。它们之间许多异同可归结为消息名如何绑定到具体值,但这些细节往往微妙且缺乏简洁描述。本文以 Id 对象模型为共同基础:该模型抽象了具体绑定语义,甚至允许把晚绑定消息发送纳入绑定语义中。作者据此给出 Smalltalk 与 Self 的方法绑定语义,并将二者刻画为 Id 对象模型中的不同特例,从而提供一种简洁、可比较的语义表述,揭示两种晚绑定 OOP 系统在绑定机制上的共性与差异。

问题
晚绑定面向对象系统中消息名到具体值的绑定语义细节微妙,Smalltalk 与 Self 的异同缺乏简洁统一的描述。
方法
采用 Id 对象模型作为共同基础,将 Smalltalk 和 Self 的方法绑定语义表示为该模型中的不同特例。
评估
论文未报告实证评估,主要通过将 Smalltalk 与 Self 作为案例,展示其在 Id 对象模型中的特例化语义表述。
原文摘要(Abstract)

Smalltalk and Self are two paradigmatic examples of class-based and prototype-based late-bound object-oriented programming, respectively. Many of their similarities and differences can be grounded in how they bind message names to concrete values, but the details can be subtle and are not available in a concise form. The Id object model abstracts over specific binding semantics, even permitting the flexibility of late-bound message sending as part of binding semantics, so it is worth using as a common basis on which to compare them. In this paper, we present the method-binding semantics of Smalltalk and Self as different “special cases” within the Id object model.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@article{paperbot12114,
  title = {Towards Concise Binding Semantics of Late-Bound OOP Systems},
  author = {Joel Jakubovic},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {10},
  number = {OOPSLA2},
  year = {2026},
  doi = {10.1145/3839468}
}