Documents

DOI

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.

Original languageEnglish
Title of host publication30th European Conference on Object-Oriented Programming, ECOOP 2016
EditorsShriram Krishnamurthi, Benjamin S. Lerner
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Pages1-26
Number of pages26
Volume56
ISBN (Electronic)978-3959-77014-9
DOIs
StatePublished - 1 Jul 2016
Event30th European Conference on Object-Oriented Programming, ECOOP 2016 - Rome, Italy

Conference

Conference30th European Conference on Object-Oriented Programming, ECOOP 2016
CountryItaly
CityRome
Period18/07/1622/07/16

    Research areas

  • Dynamic semantics, Memory layout, Operational semantics, Scope graphs, Type soundness

ID: 9993513