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 Jul Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 21 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
15:30 - 16:45 | |||
15:30 25mTalk | Object Inheritance without Classes Research Track Timothy JonesVictoria University of Wellington, Michael HomerVictoria University of Wellington, James NobleVictoria University of Wellington, Kim BrucePomona College Link to publication DOI Pre-print Media Attached | ||
15:55 25mTalk | Program Tailoring: Slicing by Sequential Criteria Research Track 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 PoulsenTU Delft, Pierre NeronFrench Network and Information Security Agency (ANSSI), Andrew TolmachPortland State University, Eelco VisserDelft University of Technology Link to publication DOI Pre-print Media Attached | ||