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
Times are displayed in time zone: Tijuana, Baja California change

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