Blaming the client: on data refinement in the presence of pointers
Ivana Filipović, Peter O’Hearn, Noah Torp-Smith, Hongseok YangVolume:
22
Language:
english
Pages:
37
DOI:
10.1007/s00165-009-0125-8
Date:
September, 2010
File:
PDF, 431 KB
english, 2010