Blaiming the Client: On Data Refinement in the Presence of Pointers
Ivana Filipovic‚ Peter W. O’Hearn‚ Noah Torp−Smith and Hongseok Yang
Journal
Formal Aspects of Computing
Number
5
Pages
547–583
Publisher
Springer−Verlag
Volume
22
Year
2010
Ivana Filipovic‚ Peter W. O’Hearn‚ Noah Torp−Smith and Hongseok Yang