Filipovic, I and O'Hearn, PW and Torp-Smith, N and Yang, H (2010) Blaming the client: on data refinement in the presence of pointers. Formal Asp. Comput. , 22 , Article 5. 10.1007/s00165-009-0125-8.
Full text not available from this repository.
|Title:||Blaming the client: on data refinement in the presence of pointers.|
|UCL classification:||UCL > School of BEAMS > Faculty of Engineering Science > Computer Science|
Archive Staff Only: edit this record