2026-07-20T15:08:07Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:6114 2024-03-06T10:38:01Z ddc:004 open_access

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics Bach Poulsen, Casper Néron, Pierre Tolmach, Andrew Visser, Eelco Dynamic semantics scope graphs memory layout type soundness operational semantics 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Casper Bach Poulsen and Pierre Néron and Andrew Tolmach and Eelco Visser 2016 Is Part Of LIPIcs, Volume 56, 30th European Conference on Object-Oriented Programming (ECOOP 2016) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ECOOP.2016.20 urn:nbn:de:0030-drops-61140 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.20 eng https://creativecommons.org/licenses/by/3.0/legalcode