Personal tools
You are here: Home Events LFCS seminar: Casper Bach Poulsen: Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics

LFCS seminar: Casper Bach Poulsen: Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics

— filed under: ,

What
  • LFCS Seminar
  • Upcoming events
When Mar 23, 2017
from 04:00 PM to 05:00 PM
Where IF 4.31/4.33
Add event to calendar vCal
iCal

Title:

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics

Abstract:

There is a uniform and systematic connection between the static binding
structure of statically-scoped programs and the structure of memory layout and
access during program execution. This connection is sometimes obscured in
semantic specifications where different semantic artifacts are used to describe
name binding. For example, binding patterns such as lexical scoping, imperative
variables, records, classes, and modules are often modeled in different ways in
the same specification, or modeled in ways that do not correspond to how memory
is laid out and accessed in realistic language runtimes.

This talk describes how scope graphs provide a uniform and systematic approach
to the alignment of names in static semantics and memory in dynamic semantics,
building on the scope graph framework for name resolution. Our uniform memory
model consists of frames that instantiate the scopes in the scope graph of a
program. This provides a language-independent correspondence between static
scopes and run-time memory layout, and between static resolution paths and
run-time memory access paths. The approach scales to a range of binding
features, supports straightforward type soundness proofs, and provides the basis
for a language-independent specification of sound reachability-based garbage
collection.

The talk is based on joint work
[ http://dx.doi.org/10.4230/LIPIcs.ECOOP.2016.20 ] with Pierre Neron, Andrew
Tolmach, and Eelco Visser.

Document Actions