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
15:30 - 16:45: Research Track - Session 6 at Auditorium Loyola Chair(s): Sophia DrossopoulouImperial College London | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 15:55 Talk | 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 - 16:20 Talk | Link to publication DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:20 - 16:45 Talk | 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 | |||||||||||||||||||||||||||||||||||||||||