Inproceedings,

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics.

, , , and .
ECOOP, volume 56 of LIPIcs, page 20:1-20:26. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)

Meta data

Tags

Users

  • @dblp

Comments and Reviews