Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)when quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ECOOP.2016.20
URN: urn:nbn:de:0030-drops-61140
URL: https://drops.dagstuhl.de/opus/volltexte/2016/6114/
Bach Poulsen, Casper ; Néron, Pierre ; Tolmach, Andrew ; Visser, Eelco
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics
| pdf-format: |
|
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.
BibTeX - Entry
@InProceedings{bachpoulsen_et_al:LIPIcs:2016:6114,
author = {Casper Bach Poulsen and Pierre N{\'e}ron and Andrew Tolmach and Eelco Visser},
title = {{Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics}},
booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)},
pages = {20:1--20:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-014-9},
ISSN = {1868-8969},
year = {2016},
volume = {56},
editor = {Shriram Krishnamurthi and Benjamin S. Lerner},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2016/6114},
URN = {urn:nbn:de:0030-drops-61140},
doi = {10.4230/LIPIcs.ECOOP.2016.20},
annote = {Keywords: Dynamic semantics, scope graphs, memory layout, type soundness, operational semantics}
}
| Keywords: | Dynamic semantics, scope graphs, memory layout, type soundness, operational semantics | |
| Seminar: | 30th European Conference on Object-Oriented Programming (ECOOP 2016) | |
| Issue date: | 2016 | |
| Date of publication: | 18.07.2016 |
