Scopes describe frames: A uniform model for memory layout in dynamic semantics
| Autor: | Poulsen, C.B., Neron, P.J.M., Tolmach, Andrew, Visser, Eelco, Krishnamurthi, Shriram, Lerner, Benjamin S. |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2016 |
| Předmět: |
Scope graphs
000 Computer science knowledge general works Type soundness Computer Science 0202 electrical engineering electronic engineering information engineering Operational semantics 020207 software engineering 020201 artificial intelligence & image processing 02 engineering and technology Dynamic semantics Memory layout |
| Zdroj: | 30th European Conference on Object-Oriented Programming, ECOOP 2016, 56 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|