O'Hearn, PW and Yang, H and Reynolds, JC (2004) Separation and information hiding. In: Jones, ND and Leroy, X, (eds.) POPL. (pp. 268 - 280). ACM
Full text not available from this repository.
| Type: | Proceedings paper |
|---|---|
| Title: | Separation and information hiding. |
| ISBN: | 1-58113-729-X |
| DOI: | 10.1145/964001.964024 |
| Publisher version: | http://dl.acm.org/citation.cfm?id=964001 |
| UCL classification: | UCL > School of BEAMS > Faculty of Engineering Science > Computer Science |
Archive Staff Only: edit this record