Journal article icon

Journal article

Blaiming the Client: On Data Refinement in the Presence of Pointers

Actions


Authors


Ivana Filipovic More by this author
Peter W. O’Hearn More by this author
Noah Torp−Smith More by this author
Hongseok Yang More by this author
Journal:
Formal Aspects of Computing
Volume:
22
Issue:
5
Pages:
547-583
Publication date:
2010
URN:
uuid:d8bcaf6d-a6a0-4a47-b9c9-391ead69bcb6
Local pid:
cs:4976

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