ECOOP 2016 (series) / Research Track / Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics![[AEC approved]](https://2016.ecoop.org/getImageFile/309fa27d-a56a-49d6-9e84-1ae051f85a07/small?1464858176000)
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.
Thu 21 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 21 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
15:30 - 16:45 | |||
15:30 25mTalk | Object Inheritance without Classes Research Track Timothy Jones Victoria University of Wellington, Michael Homer Victoria University of Wellington, James Noble Victoria University of Wellington, Kim Bruce Pomona College Link to publication DOI Pre-print Media Attached | ||
15:55 25mTalk | Program Tailoring: Slicing by Sequential Criteria Research Track Yue Li UNSW Australia, Tian Tan UNSW Australia, Yifei Zhang UNSW Australia, Jingling Xue UNSW Australia Link to publication DOI Pre-print Media Attached | ||
16:20 25mTalk | Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics Research Track Casper Bach Poulsen TU Delft, Pierre Neron French Network and Information Security Agency (ANSSI), Andrew Tolmach Portland State University, Eelco Visser Delft University of Technology Link to publication DOI Pre-print Media Attached | ||