Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (ECOOP 2016 - Research Track)

Blogs (28) >>

Sun 17 - Fri 22 July 2016 Rome, Italy

Who

Casper Bach, Pierre Neron, Andrew Tolmach, Eelco Visser

Track

ECOOP 2016 Research Track

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Thu 21 Jul 2016 16:20 - 16:45 at Auditorium Loyola - Session 6 Chair(s): Sophia Drossopoulou

Abstract

Semantic specifications do not make a systematic connection between the names and scopes in the static structure of a program and memory layout, and access during its execution. In this paper, we introduce a systematic approach to the alignment of names in static semantics and memory in dynamic semantics, building on the scope graph framework for name resolution. We develop a uniform memory model consisting 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.

Link to Publication

http://drops.dagstuhl.de/opus/volltexte/2016/6114/pdf/LIPIcs-ECOOP-2016-20.pdf

Link to Preprint

http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2016-010.pdf

DOI

https://doi.org/10.4230/LIPIcs.ECOOP.2016.20

Casper Bach

TU Delft

Pierre Neron

French Network and Information Security Agency (ANSSI)

Andrew Tolmach

Portland State University

Eelco Visser^{† 2022}

Delft University of Technology

Netherlands

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