Scopes describe frames: A uniform model for memory layout in dynamic semantics

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

doi:10.4230/LIPIcs.ECOOP.2016.20

Scopes describe frames: A uniform model for memory layout in dynamic semantics

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

Programming Languages

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

10 Citations (Scopus)

129 Downloads (Pure)

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.

Original language	English
Title of host publication	30th European Conference on Object-Oriented Programming, ECOOP 2016
Editors	Shriram Krishnamurthi, Benjamin S. Lerner
Publisher	Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Pages	1-26
Number of pages	26
Volume	56
ISBN (Electronic)	978-3959-77014-9
DOIs	https://doi.org/10.4230/LIPIcs.ECOOP.2016.20
Publication status	Published - 1 Jul 2016
Event	ECOOP 2016: 30th European Conference on Object-Oriented Programming - Rome, Italy Duration: 18 Jul 2016 → 22 Jul 2016

Conference

Conference	ECOOP 2016
Country/Territory	Italy
City	Rome
Period	18/07/16 → 22/07/16

Keywords

Dynamic semantics
Memory layout
Operational semantics
Scope graphs
Type soundness

Access to Document

10.4230/LIPIcs.ECOOP.2016.20

LIPIcs-ECOOP-2016-20Final published version, 890 KBLicence: CC BY

Cite this

Poulsen, C. B., Néron, P., Tolmach, A., & Visser, E. (2016). Scopes describe frames: A uniform model for memory layout in dynamic semantics. In S. Krishnamurthi, & B. S. Lerner (Eds.), 30th European Conference on Object-Oriented Programming, ECOOP 2016 (Vol. 56, pp. 1-26). Article 20 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2016.20

@inproceedings{8cfac577b66d402dad40ff59c6f42291,

title = "Scopes describe frames: A uniform model for memory layout in dynamic semantics",

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.",

keywords = "Dynamic semantics, Memory layout, Operational semantics, Scope graphs, Type soundness",

author = "Poulsen, {Casper Bach} and Pierre N{\'e}ron and Andrew Tolmach and Eelco Visser",

year = "2016",

month = jul,

day = "1",

doi = "10.4230/LIPIcs.ECOOP.2016.20",

language = "English",

volume = "56",

pages = "1--26",

editor = "Shriram Krishnamurthi and Lerner, {Benjamin S.}",

booktitle = "30th European Conference on Object-Oriented Programming, ECOOP 2016",

publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",

address = "Germany",

note = "ECOOP 2016 : 30th European Conference on Object-Oriented Programming ; Conference date: 18-07-2016 Through 22-07-2016",

}

Poulsen, CB, Néron, P, Tolmach, A & Visser, E 2016, Scopes describe frames: A uniform model for memory layout in dynamic semantics. in S Krishnamurthi & BS Lerner (eds), 30th European Conference on Object-Oriented Programming, ECOOP 2016. vol. 56, 20, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, pp. 1-26, ECOOP 2016, Rome, Italy, 18/07/16. https://doi.org/10.4230/LIPIcs.ECOOP.2016.20

Scopes describe frames: A uniform model for memory layout in dynamic semantics. / Poulsen, Casper Bach; Néron, Pierre; Tolmach, Andrew et al.
30th European Conference on Object-Oriented Programming, ECOOP 2016. ed. / Shriram Krishnamurthi; Benjamin S. Lerner. Vol. 56 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016. p. 1-26 20.

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Scopes describe frames

T2 - ECOOP 2016

AU - Poulsen, Casper Bach

AU - Néron, Pierre

AU - Tolmach, Andrew

AU - Visser, Eelco

PY - 2016/7/1

Y1 - 2016/7/1

N2 - 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.

AB - 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.

KW - Dynamic semantics

KW - Memory layout

KW - Operational semantics

KW - Scope graphs

KW - Type soundness

UR - http://resolver.tudelft.nl/uuid:8cfac577-b66d-402d-ad40-ff59c6f42291

U2 - 10.4230/LIPIcs.ECOOP.2016.20

DO - 10.4230/LIPIcs.ECOOP.2016.20

M3 - Conference contribution

AN - SCOPUS:84982798864

VL - 56

SP - 1

EP - 26

BT - 30th European Conference on Object-Oriented Programming, ECOOP 2016

A2 - Krishnamurthi, Shriram

A2 - Lerner, Benjamin S.

PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

Y2 - 18 July 2016 through 22 July 2016

ER -

Scopes describe frames: A uniform model for memory layout in dynamic semantics

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this