License
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ECOOP.2016.20
URN: urn:nbn:de:0030-drops-61140
URL: http://drops.dagstuhl.de/opus/volltexte/2016/6114/
Go to the corresponding LIPIcs Volume Portal


Bach Poulsen, Casper ; Néron, Pierre ; Tolmach, Andrew ; Visser, Eelco

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics

pdf-format:
LIPIcs-ECOOP-2016-20.pdf (0.9 MB)


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: 13.07.2016


DROPS-Home | Fulltext Search | Imprint Published by LZI