Joseph Y. Halpern, Albert R. Meyer, Boris A. Trakhtenbrot. The Semantics of Local Storage, or What Makes the Free-List Free?. In POPL. pages 245-257, 1984.
@inproceedings{HalpernMT84, title = {The Semantics of Local Storage, or What Makes the Free-List Free?}, author = {Joseph Y. Halpern and Albert R. Meyer and Boris A. Trakhtenbrot}, year = {1984}, tags = {semantics}, researchr = {https://researchr.org/publication/HalpernMT84}, cites = {0}, citedby = {0}, pages = {245-257}, booktitle = {POPL}, }