The Semantics of Local Storage, or What Makes the Free-List Free?

Joseph Y. Halpern, Albert R. Meyer, Boris A. Trakhtenbrot

Browse the full POPL paper archive.