Journal article icon

Journal article

Separation and Information Hiding

Actions


Authors


Peter W. O’Hearn More by this author
Hongseok Yang More by this author
John Reynolds More by this author
Journal:
ACM Transactions on Programming Languages and Systems
Volume:
31
Issue:
3
Publication date:
2009-02-01
URN:
uuid:95e237fe-d9a2-44aa-a70f-3d182f098a29
Local pid:
cs:4973

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP