SPLASH/ISSTA 2026 (series) / SPLASH 2026 (series) / OOPSLA /
Towards Concise Binding Semantics of Late-Bound OOP Systems
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 \textit{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.
Tue 6 OctDisplayed time zone: Pacific Time (US & Canada) change
Tue 6 Oct
Displayed time zone: Pacific Time (US & Canada) change
10:30 - 12:00 | |||
10:30 18mTalk | Commuting Conversions and Join Points for Call-by-Push-ValueDistinguished Paper OOPSLA Jonathan Chan University of Pennsylvania, Madi Gudin Amherst College, Annabel Levy University of Maryland, Stephanie Weirich University of Pennsylvania Link to publication DOI | ||
10:48 18mTalk | Differential Execution with Lexical Tracing OOPSLA DOI | ||
11:06 18mTalk | MGQL: An Executable, Small-Step Semantics of GQL OOPSLA Aditya Thimmaiah University of Texas at Austin, Tong-Nong Lin University of Texas at Austin, Milos Gligoric University of Texas at Austin DOI Pre-print | ||
11:24 18mTalk | Towards Concise Binding Semantics of Late-Bound OOP Systems OOPSLA Joel Jakubovic Charles University DOI Pre-print | ||
11:42 18mTalk | Semantics for 2D Rasterization OOPSLA Bhargav Kulkarni University of Utah, Henry Whiting University of Utah, Pavel Panchekha University of Utah DOI Pre-print | ||