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

Our paper introduces a systematic approach to the alignment of names in the static structure of a program, and memory layout and access during its execution. 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...