Sat 13 Jan 2018 16:30 - 17:00 at Crocker - Session 3

Software exists at multiple levels of abstraction, where each more concrete level is an implementation of the more abstract level above, in a semantic tower of compilers and/or interpreters. First-class implementations are a reflection protocol to navigate this tower at runtime: they enable changing the underlying implementation of a computation while it is running. Key is a generalized notion of safe points that enable observing a computation at a higher-level than that at which it runs, and therefore to climb up the semantic tower, when at runtime most existing systems only ever allow but to go further down. The protocol was obtained by extracting the computational content of a formal specification for implementations and some of their properties. This approach reconciles two heretofore mutually exclusive fields: Semantics and Runtime Reflection.

Abstract (obt18-paper10.pdf)446KiB

Sat 13 Jan

OBT-2018
16:00 - 18:00: Off the Beaten Track 2018 - Session 3 at Crocker
OBT-2018151585560000016:00 - 16:30
Talk
Jeremy G. SiekIndiana University, USA
File Attached
OBT-2018151585740000016:30 - 17:00
Talk
File Attached
OBT-2018151585920000017:00 - 17:30
Talk
Christopher MeiklejohnUniversité catholique de Louvain, Peter Van RoyUniversité catholique de Louvain
File Attached
OBT-2018151586100000017:30 - 18:00
Day closing