Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Thu 21 Jul 2016 16:20 - 16:45 at Auditorium Loyola - Session 6 Chair(s): Sophia Drossopoulou
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
ecoop-2016-papers146910780000015:30 - 15:55
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
ecoop-2016-papers146910930000015:55 - 16:20
Yue LiUNSW Australia, Tian TanUNSW Australia, Yifei ZhangUNSW Australia, Jingling XueUNSW Australia
Link to publication DOI Pre-print Media Attached
ecoop-2016-papers146911080000016:20 - 16:45
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